文件名称：plfa:通过plfa教科书工作
文件大小：234KB
文件格式：ZIP
更新时间：2024-04-19 18:02:08
fa 只是通过PLFA跟踪我的工作
【文件预览】：
plfa-main
----epub.md(68B)
----part1()
--------Decidable.lagda.md(23KB)
--------Isomorphism.lagda.md(14KB)
--------Negation.lagda.md(14KB)
--------Lists.lagda.md(32KB)
--------Relations.lagda.md(27KB)
--------Induction.lagda.md(32KB)
--------Quantifiers.lagda.md(17KB)
--------Connectives.lagda.md(27KB)
--------Naturals.lagda.md(36KB)
--------Equality.lagda.md(24KB)
----epub.xml(203B)
----backmatter()
--------Fonts.lagda.md(2KB)
--------acknowledgements.md(1KB)
----part3()
--------ContextualEquivalence.lagda.md(4KB)
--------Denotational.lagda.md(54KB)
--------Soundness.lagda.md(26KB)
--------Compositional.lagda.md(20KB)
--------Adequacy.lagda.md(26KB)
----part2()
--------BigStep.lagda.md(17KB)
--------Subtyping.lagda.md(46KB)
--------Properties.lagda.md(53KB)
--------Substitution.lagda.md(33KB)
--------Untyped.lagda.md(26KB)
--------Inference.lagda.md(39KB)
--------Lambda.lagda.md(46KB)
--------DeBruijn.lagda.md(44KB)
--------Confluence.lagda.md(21KB)
--------More.lagda.md(33KB)
--------Bisimulation.lagda.md(15KB)
----toc.metadata(1KB)
----README.md(42B)
----frontmatter()
--------preface.md(6KB)
--------dedication.md(461B)
----index.md(3KB)