VSL 2014: VIENNA SUMMER OF LOGIC 2014

On the Formalization of Lambda-Calculus Confluence and Residuals

Author: Beniamino Accattoli

PapersPapers with AbstractsPrefaceAuthor IndexKeyword IndexAdditional files

Paper Information

Title:On the Formalization of Lambda-Calculus Confluence and Residuals
Authors:Beniamino Accattoli
Proceedings:IWC 2014 Workshop Proceedings
Editors: Takahito Aoto and Delia Kesner
Keywords:
Abstract:
Pages:1
Talk:Jul 13 09:25
Paper:
Disclaimer | Powered by EasyChair Smart Program