Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types∗† Marcelo Fiore‡ - Proof calculus - Document - PDFSEARCH.IO

First Page	Meta Content
	Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types∗† Marcelo Fiore‡ Add to Reading List Document Date: 2005-10-05 14:17:27 Open Document File Size: 212,81 KB Share Result on Facebook City Paris / / Company Computer Society Press / Section 1 / / Event Product Recall / Product Issues / / Facility Computer Laboratory University of Cambridge Roberto Di Cosmo PPS / / IndustryTerm finite products / monomorphic type systems / library search tools / / Organization Types∗† Marcelo Fiore‡ Computer Laboratory University / / Person Marcelo Fiore / Vincent Balat / / Product basic definitions / / Technology Functional Programming / / SocialTag Lambda calculus Programming language theory Proof theory Curry–Howard correspondence Philosophy of computer science Type theory Combinatory logic Natural deduction Normalisation by evaluation Logic in computer science

Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types∗† Marcelo Fiore‡Add to Reading List