The Formal System λδ version 2
foreword
news
documentation
implementation
Formats
The formal specification of λδ version 2 is available in the following formats:
lambdadelta_2 for Matita 0.99.2
(revised
2014-07
). Source scripts.
BibTeX entry
Last update: Sun, 06 Jul 2014 20:36:00 +0200