Finite combinatory logic with intersection types
Rehof, Jakob ; Urzyczyn, Paweł 2011 TU, Dep. of Computer Science
- Link zu diesem Datensatz
-
https://d-nb.info/1011416867
- Titel
-
Finite combinatory logic with intersection types
- Art des Inhalts
- Monographie
- Verfassangaben
- Jakob Rehof ; Paweł Urzyczyn. Technische Universität Dortmund, Department of Computer Science
- Autor(en)
-
- Rehof, Jakob
- Urzyczyn, Paweł
- Auflage
- (Extended version)
- Verlag
- Dortmund : TU, Dep. of Computer Science [2011]
- Jahr
- Erscheinungsdatum: 2011
- Umfang/Format
- 32 S.
- Online
- https://d-nb.info/1011416867/04
- Sprache
- eng
- Anmerkungen
-
Literaturangaben
- Stand
- 02.12.2017 19:55
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
