lambdacalculator

Professor, Computer Science California State University, Fresno

California State University, FresnoFresno, CA

Pinned Repositories

abella-chtt
Abella formalization of a non-deterministic version of our computational higher-dimensional type theory
Language:AMPL10
abella-tutorial
A short development for an Abella tutorial I gave at CMU on Nov 17, 2015
Language:AMPL00
haskell-for-readers
Lecture notes for teaching Haskell to those who want to read it
Language:CSS00
lean-choice
Formalization of my 2001 JSL proof that, intuitionistically, choice sets are well-orderable.
Language:Lean00

lambdacalculator/haskell-for-readers
Lecture notes for teaching Haskell to those who want to read it
Language:CSS
lambdacalculator/abella-chtt
Abella formalization of a non-deterministic version of our computational higher-dimensional type theory
Language:AMPL1
lambdacalculator/lean-choice
Formalization of my 2001 JSL proof that, intuitionistically, choice sets are well-orderable.
Language:Lean
lambdacalculator/abella-tutorial
A short development for an Abella tutorial I gave at CMU on Nov 17, 2015
Language:AMPL