Typed Lambda Calculi and Applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings / by Philippe de Groote, J. Roger Hindley

Von:

Groote, Philippe de, 1961- [aut]

Mitwirkende(r):

Hindley, James Roger, 1939- [oth]

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: SpringerLink Bücher | Lecture notes in computer science ; 1210Verlag: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Beschreibung: Online-RessourceISBN:

9783540626886

Schlagwörter:

Genre/Form:

Konferenzschrift -- 1997 -- Nancy

Andere physische Formen: 9783540626886 | Buchausg. u.d.T.: Typed lambda calculi and applications. Berlin [u.a.] : Springer, 1997. VIII, 404 S.DDC-Klassifikation:

511.3

MSC: MSC: *03-06 | 68-06 | 03B40 | 68N18 | 00B25RVK: RVK: SS 4800DOI: DOI: 10.1007/3-540-62688-3Online-Ressourcen:

Zugang im Netz des KIT

PPN: PPN: 1649336047Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS

Exemplare ( 0 )

Dieser Titel hat keine Exemplare