Remarks on isomorphisms in typed lambda calculi with empty and sum types

Marcelo Fiore (1) , Roberto Di Cosmo (2) , Vincent Balat (2)

1 Computer Laboratory [Cambridge]
2 PPS - Preuves, Programmes et Systèmes

Mots clés: Type isomorphism; Typed lambda calculus with sums; Tarski's high school algebra problem

Domaines: Langage de programmation [cs.PL]; Logique [math.LO]

Marcelo Fiore, Roberto Di Cosmo, Vincent Balat. Remarks on isomorphisms in typed lambda calculi with empty and sum types. IEEE Symposium on Logic in Computer Science, 2002, pp.147. ⟨10.1109/LICS.2002.1029824⟩. ⟨hal-00151252⟩