Lambda-definability and NBE for simply-typed lambda-calculus and maybe beyond
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
src-lf
src-sized
src-spos Urelem: anti-U to prove anti-Supp Jul 11, 2018
src-stlc
.gitignore [ README ] fixed http address to html listings [ci skip] Jul 23, 2018
.travis.yml
Makefile
README.md
auto-lf-definability.bib Auto-generated bib file May 16, 2018
lf-definability.tex
macros.tex
related-work.md
talkAIM27.tex Talk AIM 27: related work fixes Jul 2, 2018
talkIFIP13RHU2018.tex

README.md

lambda-definability

Lambda-definability and NBE for simply-typed lambda-calculus (STLC) and maybe beyond

STLC

Agda HTML listing.