Treffer 1 - 4 von 4 für Suche 'Lafont, Yves', Suchdauer: 0,32s Treffer weiter einschränken
  1. 1
    Continuation semantics or expressing implication by negation

    Continuation semantics or expressing implication by negation von Lafont, Yves, Reus, Bernhard 1965-, Streicher, Thomas

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Logiques, categories et machines implantation de langages de programmation guidée par la logique catégor.

    Logiques, categories et machines implantation de langages de programmation guidée par la logique catégor. von Lafont, Yves

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Advances in linear logic

    Advances in linear logic

    Veröffentlicht 1995
    Weitere Verfasser:
    Volltext
    E-Book

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Advances in linear logic

    Advances in linear logic

    Veröffentlicht 1995
    Weitere Verfasser:
    BSB01
    FHN01
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: