SCHMIDT-SCHAUSS, Manfred, MACHKASOVA, Elena und SABEL, David, 2013. Extending Abramsky’s lazy lambda calculus: (non)-conservativity of embeddings. Version 22. August 2013. Frankfurt am Main: Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology.
Elsevier - Harvard (with titles)Schmidt-Schauß, M., Machkasova, E., Sabel, D., 2013. Extending Abramsky’s lazy lambda calculus: (non)-conservativity of embeddings, Version 22. August 2013. ed, Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik. Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, Frankfurt am Main. https://doi.org/urn:nbn:de:hebis:30:3-336056
American Psychological Association 7th editionSchmidt-Schauß, M., Machkasova, E., & Sabel, D. (ca. 2013). Extending Abramsky’s lazy lambda calculus: (non)-conservativity of embeddings [Cd]. In Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik (Version 22. August 2013). Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology. https://doi.org/urn:nbn:de:hebis:30:3-336056
Springer - Basic (author-date)Schmidt-Schauß M, Machkasova E, Sabel D (2013) Extending Abramsky’s lazy lambda calculus: (non)-conservativity of embeddings, Version 22. August 2013. Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, Frankfurt am Main
Juristische Zitierweise (Stüber) (Deutsch)Schmidt-Schauß, Manfred/ Machkasova, Elena/ Sabel, David, Extending Abramsky’s lazy lambda calculus: (non)-conservativity of embeddings, Version 22. August 2013 , Frankfurt am Main 2013.