Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Extending Abramsky's lazy lamb...
  • Bestand

Treffer: Extending Abramsky's lazy lambda calculus: (non)-conservativity of embeddings

Titel:
Extending Abramsky's lazy lambda calculus: (non)-conservativity of embeddings / Manfred Schmidt-Schauß ; Elena Machkasova ; David Sabel
Beteiligt:
Schmidt-Schauß, Manfred (Verfasser); Machkasova, Elena (Verfasser); Sabel, David (Verfasser) 
Ausgabe:
Version 22. August 2013
Veröffent­licht:
Frankfurt am Main : Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, 2013
Umfang:
1 Online-Ressource
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 51

Zusatz-Informationen

Zusatz-Funktionen