VSL 2014: VIENNA SUMMER OF LOGIC 2014

Calculus of Inductive Constructions

Author: Christine Paulin-Mohring

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Calculus of Inductive Constructions
Authors:Christine Paulin-Mohring
Proceedings:APPA 2014 VSL Proceedings
Editors: Bruno Woltzenlogel Paleo and David Delahaye
Keywords:
Abstract:
Pages:6
Talk:Jul 18 12:30
Paper:
Disclaimer | Powered by EasyChair Smart Program