VSL 2014: VIENNA SUMMER OF LOGIC 2014

Numeral Systems in the Lambda Calculus

Author: Ian Mackie

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Numeral Systems in the Lambda Calculus
Authors:Ian Mackie
Proceedings:TERMGRAPH 2014 VSL Proceedings
Editors: Aart Middeldorp and Femke van Raamsdonk
Keywords:
Abstract:
Pages:1
Talk:Jul 13 09:15
Paper:
Disclaimer | Powered by EasyChair Smart Program