• Extending Abramsky's lazy lamb...
  • *Description*

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

*Title*:
Extending Abramsky's lazy lambda calculus: (non)-conservativity of embeddings / Manfred Schmidt-Schauß ; Elena Machkasova ; David Sabel
*Author/editor-in-chief*:
Schmidt-Schauß, Manfred (Verfasser); Machkasova, Elena (Verfasser); Sabel, David (Verfasser) 
*Edition*:
Version 26. Apr. 2013
*Publication*:
Frankfurt am Main : Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, 2013
*Physical description scale*:
1 Online-Ressource
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Technical report Frank ; 51
*show_all_volumes*

*Additional information*

*Additional functions*