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

*Title*:

Applicative may- and should-simulation in the call-by-value lambda calculus with amb / Manfred Schmidt-Schauß ; David Sabel

*Author/editor-in-chief*:

Schmidt-Schauß, Manfred (Verfasser); Sabel, David (Verfasser)

*Publication*:

Frankfurt am Main : Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, 2014

*Physical description scale*:

1 Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Technical report Frank ; 54
*show_all_volumes*

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

*Additional information*

*Additional functions*

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

Additional information

Additional functions