Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/l-tchen/type-theory
Lecture note on Lambda Calculus and Types for FLOLAC
https://github.com/l-tchen/type-theory
lambda-calculus lecture system-f type-theory
Last synced: 10 days ago
JSON representation
Lecture note on Lambda Calculus and Types for FLOLAC
- Host: GitHub
- URL: https://github.com/l-tchen/type-theory
- Owner: L-TChen
- License: bsd-2-clause
- Created: 2016-06-02T03:28:19.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2024-07-02T07:42:17.000Z (6 months ago)
- Last Synced: 2024-10-30T06:01:57.427Z (about 2 months ago)
- Topics: lambda-calculus, lecture, system-f, type-theory
- Language: TeX
- Homepage: http://flolac.iis.sinica.edu.tw/flolac18/courses/Lambda.html
- Size: 1.71 MB
- Stars: 26
- Watchers: 3
- Forks: 4
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Introduction to Lambda Calculus and Types
## Requirement
* XeLaTeX
* latexmk
* Fira Sans Font (optional)
## Compilation
To compile every lecture note, do
``make``
or to compile specific lecture note, do
``make lecture{0,1,2,3}``