Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
ISO-690 (author-date, English)

SCHMIDT-SCHAUSS, Manfred und SABEL, David, 2014. Applicative may- and should-simulation in the call-by-value lambda calculus with amb. Frankfurt am Main: Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology. Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik, 54.

Elsevier - Harvard (with titles)

Schmidt-Schauß, M., Sabel, D., 2014. Applicative may- and should-simulation in the call-by-value lambda calculus with amb, Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik, 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-336093

American Psychological Association 7th edition

Schmidt-Schauß, M., & Sabel, D. (ca. 2014). Applicative may- and should-simulation in the call-by-value lambda calculus with amb [Cd]. In 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. https://doi.org/urn:nbn:de:hebis:30:3-336093

Springer - Basic (author-date)

Schmidt-Schauß M, Sabel D (2014) Applicative may- and should-simulation in the call-by-value lambda calculus with amb. 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/ Sabel, David, Applicative may- and should-simulation in the call-by-value lambda calculus with amb, Frankfurt am Main 2014.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.