scientific article
From MaRDI portal
Publication:3593499
zbMath1121.68021MaRDI QIDQ3593499
Greg Morrisett, Matthew T. Fluet, Amal Ahmed
Publication date: 20 July 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (4)
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs ⋮ A bisimulation-like proof method for contextual properties in untyped \(\lambda \)-calculus with references and deallocation ⋮ POPLMark reloaded: Mechanizing proofs by logical relations ⋮ Context-Free Session Type Inference
Uses Software
This page was built for publication:
