Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Applicative may- and should-si...
  • Inhaltsangabe

Treffer: Applicative may- and should-simulation in the call-by-value lambda calculus with amb

Titel:
Applicative may- and should-simulation in the call-by-value lambda calculus with amb / Manfred Schmidt-Schauß ; David Sabel
Beteiligt:
Schmidt-Schauß, Manfred (Verfasser); Sabel, David (Verfasser) 
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, 2014
Umfang:
1 Online-Ressource
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Technical report Frank ; 54
alle Bände anzeigen

Zusatz-Informationen

Zusatz-Funktionen