teach/inf110-lfi.git - INF110 (logique et fondements de l'informatique)

	Commit message (Expand)	Author	Age	Files	Lines
*	Beta-reduction and strong normalization (to be continued).	David A. Madore	2023-11-16	1	-0/+41
*	More properties of typing, incl. the substitution lemma.	David A. Madore	2023-11-16	1	-6/+97
*	Some properties of derivation in simply-typed lambda-calculus.	David A. Madore	2023-11-16	1	-0/+111
*	Give an example of a fully written out derivation tree.	David A. Madore	2023-11-15	1	-0/+39
*	Rules of the simply-typed lambda-calculus.	David A. Madore	2023-11-15	1	-3/+122
*	Various curiosities.	David A. Madore	2023-11-15	1	-3/+32
*	Type systems for logic.	David A. Madore	2023-11-15	1	-1/+67
*	Curry's paradox (an interlude).	David A. Madore	2023-11-15	1	-0/+88
*	Typing and termination.	David A. Madore	2023-11-15	1	-0/+41
*	Tasks in a typing system.	David A. Madore	2023-11-15	1	-1/+45
*	More examples of languages with interesting type systems.	David A. Madore	2023-11-15	1	-4/+47
*	Use of typing systems beyond value control.	David A. Madore	2023-11-15	1	-0/+36
*	Minor clarification.	David A. Madore	2023-11-14	1	-2/+3
*	Generalities about polymorphism.	David A. Madore	2023-11-14	1	-14/+64
*	Basic set of slides on typing.	David A. Madore	2023-11-14	1	-0/+296