MetadatenAuthor: | David SabelORCiDGND, Manfred Schmidt-SchaußORCiDGND |
---|
URN: | urn:nbn:de:hebis:30:3-242523 |
---|
URL: | http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-47.pdf |
---|
Parent Title (German): | Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 47 |
---|
Series (Serial Number): | Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik (47) |
---|
Publisher: | Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology |
---|
Place of publication: | Frankfurt [am Main] |
---|
Document Type: | Working Paper |
---|
Language: | English |
---|
Date of Publication (online): | 2011/10/17 |
---|
Date of first Publication: | 2011/10/17 |
---|
Publishing Institution: | Universitätsbibliothek Johann Christian Senckenberg |
---|
Release Date: | 2012/02/07 |
---|
GND Keyword: | Lambda-Kalkül; Formale Semantik; Funktionale Programmierung; Nebenläufigkeit |
---|
Issue: | Version: 17. Oktober 2011 |
---|
Page Number: | 27 |
---|
First Page: | 1 |
---|
Last Page: | 27 |
---|
HeBIS-PPN: | 289451833 |
---|
Institutes: | Informatik und Mathematik / Informatik |
---|
Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
---|
Sammlungen: | Universitätspublikationen |
---|
Licence (German): | Creative Commons - Namensnennung-Keine Bearbeitung |
---|