文件名称：system-f-parametricity-model:Coq 中关系参数系统 F 的模型
文件大小：36KB
文件格式：ZIP
更新时间：2024-06-23 09:34:18
Coq
系统参数模型 Coq 中关系参数系统 F 的模型
【文件预览】：
system-f-parametricity-model-master
----KripkeSemantics.v(7KB)
----ChurchVarSyntax.v(4KB)
----TypeSystem.v(1KB)
----ChurchIdentity.v(2KB)
----ChurchBooleans.v(1KB)
----TypeSyntax.v(2KB)
----ChurchNaturals.v(2KB)
----ChurchSyntax.v(10KB)
----TypeSystemKripkeSemantics.v(5KB)
----Shifting.v(12KB)
----ChurchStateAlgebra.v(27KB)
----KripkeShifting.v(14KB)
----ChurchLists.v(2KB)
----TypeSystemSemantics.v(4KB)
----.gitignore(24B)
----KripkeSubstitution.v(16KB)
----Substitution.v(16KB)
----ChurchNaturals2.v(2KB)
----JMUtils.v(2KB)
----Semantics.v(4KB)
----Makefile(358B)
----Axioms.v(2KB)
----README.md(109B)