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}
L-TChen / Type-Theory
Licence: BSD-2-Clause License
Lecture note on Lambda Calculus and Types for FLOLAC
Stars: ✭ 26
Projects that are alternatives of or similar to Type-Theory
lplzoo
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
Stars: ✭ 32 (+23.08%)
Mutual labels: lambda-calculus, type-theory
vanilla-lang
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
Stars: ✭ 73 (+180.77%)
Mutual labels: lambda-calculus, system-f
types-and-programming-languages
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Stars: ✭ 92 (+253.85%)
Mutual labels: lambda-calculus, type-theory
Write You A Haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Stars: ✭ 3,064 (+11684.62%)
Mutual labels: lambda-calculus, type-theory
system-F
Formalization of the polymorphic lambda calculus and its parametricity theorem
Stars: ✭ 20 (-23.08%)
Mutual labels: lambda-calculus, system-f
gidti
Book: Gentle Introduction to Dependent Types with Idris
Stars: ✭ 70 (+169.23%)
Mutual labels: lambda-calculus, type-theory
lambda-calculus
An introduction to the Lambda Calculus
Stars: ✭ 59 (+126.92%)
Mutual labels: lambda-calculus, system-f
Data-Science-Resources
List 📋 of Books📚, Courses 💻 for Data Science 📊
Stars: ✭ 18 (-30.77%)
Mutual labels: lecture
Krivine-Machine
Abstract krivine machine implementing call-by-name semantics. In OCaml.
Stars: ✭ 34 (+30.77%)
Mutual labels: lambda-calculus
Dev-II
For 'Economics Development II' PhD seminar at CUNY Graduate Center. (older site) Generates docs at:
Stars: ✭ 36 (+38.46%)
Mutual labels: lecture
GeckoDownloadManager
🐸 Gecko Download Manager is a Chrome Extension that improves downloading lectures 💾 from the Echo360 System.
Stars: ✭ 44 (+69.23%)
Mutual labels: lecture
lecture-security engineering
Slide decks and sample codes for a lecture of "Security Engineering", which are composed in terms of how to choose and deploy appropriate standardization security technologies in information systems.
Stars: ✭ 17 (-34.62%)
Mutual labels: lecture
path semantics
A research project in path semantics, a re-interpretation of functions for expressing mathematics
Stars: ✭ 136 (+423.08%)
Mutual labels: type-theory
lambda-fibonacci
Implementation of the Fibonacci sequence in JS using pure Lambda Calculus
Stars: ✭ 18 (-30.77%)
Mutual labels: lambda-calculus
Isabelle-HoTT
An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
Stars: ✭ 30 (+15.38%)
Mutual labels: type-theory
impartus-downloader
Download Impartus lectures, convert to mkv for offline viewing.
Stars: ✭ 19 (-26.92%)
Mutual labels: lecture
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].