VSL 2014: VIENNA SUMMER OF LOGIC 2014

From the finite to the transfinite: Λμ-terms and streams.

Authors: Fanny He and Alexis Saurin

PapersPapers with AbstractsPrefaceAuthor IndexKeyword IndexAdditional files

Paper Information

Title:From the finite to the transfinite: Λμ-terms and streams.
Authors:Fanny He and Alexis Saurin
Proceedings:WIR 2014 Extended Abstracts
Editor: Hans Zantema
Keywords:
Abstract:
Pages:5
Talk:Jul 12 15:00
Paper:
Disclaimer | Powered by EasyChair Smart Program