Lambda calculus with patterns: Calculi, types and applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca

Lambda calculus with patterns: Calculi, types and applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theoretical computer science 2008, Vol.398 (1-3), p.16-31
Hauptverfasser: KLOP, Jan Willem, VAN OOSTROM, Vincent, DE VRIJER, Roel
Format: Artikel
Sprache:eng
Schlagworte:
Applied sciences
Computer science
control theory
systems
Exact sciences and technology
General logic
Logic and foundations
Mathematical logic, foundations, set theory
Mathematics
Miscellaneous
Programming languages
Programming theory
Sciences and techniques of general use
Software
Theoretical computing
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:
ISSN:0304-3975
1879-2294