This website is out of date, please refer to the site on github.

Posts tagged "twelf"

Proving Cut Admissibility in Twelf - June 29, 2015
A Proof of Church Rosser in Twelf - May 5, 2015
Worlds in Twelf - March 7, 2015
A Twelf Introduction - February 28, 2015