Typed lambda calculi and applications 11th international conference, TlCA 2013, Eindhoven, the Netherlands, June 26 - 28, 2013 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
7941 |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Search Result 1
Abstract
Typed lambda calculi and applications 11th international conference, TlCA 2013, Eindhoven, the Netherlands, June 26 - 28, 2013 ; proceedings
Veröffentlicht 2013
Volltext
Abstract
Elektronisch
Tagungsbericht
E-Book