www.lmu.de
|
UB
|
Browse
|
Help
Advanced Search
Deutsch
Login
Create Account
Admin
Home
Browse
Help
Faculties
Research Centers
Persons
Subjects
Keimelion
Ludovico-Maximilianea
MALTE
Advanced Search
Up a level
Export as
ASCII Citation
BibTeX
Dublin Core
Dublin Core
EP3 XML
EndNote
HTML Citation
JSON
JSON_EPUB
JSON_EPUB_DOCTYPES
JSON_EPUB_FSP
JSON_EPUB_NEW
METS
Multiline CSV
Object IDs
OpenURL ContextObject
RDF+N-Triples
RDF+N3
RDF+XML
Refer
Reference Manager
RSS 1.0
RSS 2.0
Group by:
Item Type
|
Date
Jump to:
2016
|
2014
Number of items:
2
.
2016
Dal Lago, Ugo
and
Schöpp, Ulrich
(2016):
Computation by interaction for space-bounded functional programming.
In: Information and Computation, Vol. 248: pp. 150-194
2014
Schöpp, Ulrich
(2014):
On the Relation of Interaction Semantics to Continuations and Defunctionalization.
In: Logical Methods in Computer Science, Vol. 10, No. 4, 10
[PDF, 618kB]
This list was generated on
Sun Sep 24 01:40:31 2023 CEST
.