2006_03_Homotopy_lambda_calculus

★ 15 Open GitHub ↗

Voevodsky's 2006 paper on homotopy lambda calculus

Explore Similar Repositories

Browser-RAT : Remote Access Trojan for Chrome and Firefox. It's pretty ugly right now.
angular-tabletop : An AngularJS provider allowing easy use of Tabletop.js via promises
Route66.php : PHP micro-router
turtle_trader : Automated Turtle Trading System
Diagnostics-Custom-Device : No description available.
// repository documentation