VSL 2014: VIENNA SUMMER OF LOGIC 2014

An Introduction to the Clocked Lambda Calculus

Authors: Joerg Endrullis, Dimitri Hendriks, Jan Willem Klop and Andrew Polonsky

PapersPapers with AbstractsPrefaceAuthor IndexKeyword IndexAdditional files

Paper Information

Title:An Introduction to the Clocked Lambda Calculus
Authors:Joerg Endrullis, Dimitri Hendriks, Jan Willem Klop and Andrew Polonsky
Proceedings:WIR 2014 Extended Abstracts
Editor: Hans Zantema
Keywords:
Abstract:
Pages:5
Talk:Jul 12 16:30
Paper:
Disclaimer | Powered by EasyChair Smart Program