search result

Cover von Structural Rewriting in the pi-Calculus

Structural Rewriting in the pi-Calculus

Year: 2014
Media group: OASICS
Cover von Semantics of a call-by-need lambda calculus with McCarthy's amb for programm equivalence
Author: Sabel, David Search for this author
Year: 2008
Publisher: München, Verlag Dr. Hut
Media group: DISSERTATION
Cover von Transforming Cycle Rewriting into String Rewriting

Transforming Cycle Rewriting into String Rewriting

Year: 2015
Media group: LIPIcs
Cover von Nominal Unification with Atom and Context Variables

Nominal Unification with Atom and Context Variables

Year: 2018
Media group: LIPIcs
Cover von Observing Success in the Pi-Calculus

Observing Success in the Pi-Calculus

Year: 2015
Media group: OASICS
Cover von Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report)

Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report)

Year: 2014
Media group: OASICS
Cover von Algorithms for Extended Alpha-Equivalence and Complexity

Algorithms for Extended Alpha-Equivalence and Complexity

Year: 2013
Media group: LIPIcs
Cover von Extending Abramsky's Lazy Lambda Calculus

Extending Abramsky's Lazy Lambda Calculus

(Non)-Conservativity of Embeddings
Year: 2013
Media group: LIPIcs
Cover von Simulation in the Call-by-Need Lambda-Calculus with letrec

Simulation in the Call-by-Need Lambda-Calculus with letrec

Year: 2010
Media group: ARTICLE
Cover von OASIcs, Volume 40, WPTE'14, Complete Volume

OASIcs, Volume 40, WPTE'14, Complete Volume

Year: 2014
Media group: OASICS
OPEN V 11.1.0.0