Skip to main navigation Skip to search Skip to main content

A Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy λμ-Calculus

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

89 Downloads (Pure)

Fingerprint

Dive into the research topics of 'A Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy λμ-Calculus'. Together they form a unique fingerprint.
Sort by

Computer Science