Treffer 1 - 1 von 1 für Suche 'Swaen, Marco D.', Suchdauer: 1,17s Treffer weiter einschränken
  1. 1
    Weak and strong sum-elimination in intuitionistic type theory = Zwakke en sterke someliminatie in de intuitionistische typentheorie

    Weak and strong sum-elimination in intuitionistic type theory = Zwakke en sterke someliminatie in de intuitionistische typentheorie von Swaen, Marco D.

    Veröffentlicht 1989
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: