GitHub - fsestini/nbe-weak-systemt: Normalization by Evaluation for a version of System T with combinatory weak conversion.

fsestini / nbe-weak-systemt Public

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

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
Semantics		Semantics
Syntax		Syntax
Decide.agda		Decide.agda
Relation.agda		Relation.agda
Semantics.agda		Semantics.agda
Syntax.agda		Syntax.agda
Utils.agda		Utils.agda

About

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

No packages published