Typed Lambda Calculi and Applications
From MaRDI portal
Publication:5704017
DOI10.1007/b135690zbMath1112.68341OpenAlexW2501230561MaRDI QIDQ5704017
Greg Morrisett, Matthew T. Fluet, Amal Ahmed
Publication date: 11 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b135690
Functional programming and lambda calculus (68N18) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (3)
Linearity and uniqueness: an entente cordiale ⋮ A linear/producer/consumer model of classical linear logic ⋮ Unnamed Item
Uses Software
This page was built for publication: Typed Lambda Calculi and Applications