matita.cs.unibo.it Git - helm.git/history - helm/papers/system

]> matita.cs.unibo.it Git - helm.git/history - helm/papers/system_T/t.tex

[helm.git] / helm / papers / system_T / t.tex

2006-02-06	Stefano Zacchiroli	removed papers dir, now all papers are in the new ...	blob \| commitdiff \| raw
2006-02-03	Andrea Asperti	Added abstract.	blob \| commitdiff \| raw
2006-02-02	Enrico Tassi	more style fixes	blob \| commitdiff \| raw \| diff to current
2006-02-02	Enrico Tassi	ported to the IEEE latex8 style	blob \| commitdiff \| raw \| diff to current
2006-01-29	Enrico Tassi	chosmetic	blob \| commitdiff \| raw \| diff to current
2006-01-22	Enrico Tassi	added proof of SN for T+ind	blob \| commitdiff \| raw \| diff to current
2005-11-11	Enrico Tassi	added an example of reduction of R' and some comments...	blob \| commitdiff \| raw \| diff to current
2005-11-11	Andrea Asperti	Definition of system T.	blob \| commitdiff \| raw \| diff to current
2005-11-10	Andrea Asperti	Several changes.	blob \| commitdiff \| raw \| diff to current
2005-11-10	Andrea Asperti	A couple more of references.	blob \| commitdiff \| raw \| diff to current
2005-11-10	Andrea Asperti	Extended bibliography.	blob \| commitdiff \| raw \| diff to current
2005-11-09	Andrea Asperti	Added an example (well founded recursion).	blob \| commitdiff \| raw \| diff to current
2005-11-08	Enrico Tassi	fix	blob \| commitdiff \| raw \| diff to current
2005-11-08	Enrico Tassi	fixed inductive types demonstrations	blob \| commitdiff \| raw \| diff to current
2005-11-08	Andrea Asperti	Typos.	blob \| commitdiff \| raw \| diff to current
2005-11-08	Enrico Tassi	added some stuff on inductive types	blob \| commitdiff \| raw \| diff to current
2005-11-07	Andrea Asperti	First draft of the introduction.	blob \| commitdiff \| raw \| diff to current
2005-10-24	Andrea Asperti	Minor fixings.	blob \| commitdiff \| raw \| diff to current
2005-10-24	Andrea Asperti	Tentative title.	blob \| commitdiff \| raw \| diff to current
2005-10-17	Andrea Asperti	Added basic bibliography.	blob \| commitdiff \| raw \| diff to current
2005-10-13	Enrico Tassi	added few proofs	blob \| commitdiff \| raw \| diff to current
2005-10-12	Enrico Tassi	few more cases	blob \| commitdiff \| raw \| diff to current
2005-10-11	Enrico Tassi	added few cases	blob \| commitdiff \| raw \| diff to current
2005-10-11	Enrico Tassi	fixed some typos	blob \| commitdiff \| raw \| diff to current
2005-10-11	Andrea Asperti	realizability for the induction principle.	blob \| commitdiff \| raw \| diff to current
2005-10-10	Andrea Asperti	First draft.	blob \| commitdiff \| raw \| diff to current
2005-10-10	Andrea Asperti	Empty directory.	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom