Skip to content

Normalization by Evaluation for a version of System T with combinatory weak conversion.

Notifications You must be signed in to change notification settings

fsestini/nbe-weak-systemt

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits