Treffer 1 – 4 von 4 für Suche 'Lafont, Yves', Suchdauer: 0,02s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Advances in linear logic /

    Advances in linear logic /

    Veröffentlicht 1995
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    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 Fernleihe Bestellen


    Gespeichert in:
  3. 3
    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 Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Advances in linear logic

    Advances in linear logic

    Veröffentlicht 1995
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: