Proof Systems for Retracts in Simply Typed Lambda Calculus

DOI10.1007/978-3-642-39212-2_36zbMath1335.03013OpenAlexW2145682273MaRDI QIDQ5327450

Colin Stirling

Publication date: 7 August 2013

Published in: Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39212-2_36

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Automorphisms of types in certain type theories and representation of finite groups

This page was built for publication: Proof Systems for Retracts in Simply Typed Lambda Calculus