All Git Users → L-TChen

3 open source projects by L-TChen

[ Open user page on Github ]

A formalisation of PCF in Agda using naive nominal binding

✭ 5

Mtac in Agda

✭ 29

Agda coq tactics monad agda

Lecture note on Lambda Calculus and Types for FLOLAC

✭ 26

TeX Makefile lambda-calculus type-theory lecture system-f

1-3 of 3 user projects