VSL 2014: VIENNA SUMMER OF LOGIC 2014

Simply Typed Lambda-Calculus Modulo Type Isomorphisms

Author: Gilles Dowek

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Simply Typed Lambda-Calculus Modulo Type Isomorphisms
Authors:Gilles Dowek
Proceedings:SD 2014 Informal Proceedings
Editors: Kaustuv Chaudhuri, Willem Heijltjes and Lutz Strassburger
Keywords:
Abstract:
Pages:1
Talk:Jul 12 09:15
Paper:
Disclaimer | Powered by EasyChair Smart Program