文件名称：sequent-calc:结石继发实验
文件大小：172KB
文件格式：ZIP
更新时间：2024-06-06 11:15:23
abstract-machine sequent-calculus Idris
后续计算 用后续的结石和抽象机进行实验 参考 资料夹/档案 参考 MuMuTilde SeqCalc Levy KAM.Alg Duploid KSF ABS ClasByNeed NDSC L.Spiwack L.Scherer LJ Lambda.Untyped.Strong.HOR 克鲁格，“抽象计算机”（6.4节） Lambda.Untyped.Strong.KN Cregut，“强烈减少Krivine抽象机的变体” ABDM Ager，Biernacki，Danvy，Midtgaard，“从解释器到编译器和虚拟机：功能派生” Forcing.CoquandHaber LJ.LJMSE Santo，Matthes，Pinto，“直觉后继计算的连续传递样式和强归一化” Kappa https://zh.wikipedia.org/wik