Parametric Fitch-style modal lambda calculus
axelf4/pfm-lambda
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
{-# OPTIONS --without-K #-} module README where import Everything open import Context open import Parameters as _ using (Parameters) import IK x = nf {· , ι} (app (abs (var zero)) (var zero)) where open import Calculus record { IK } -- Instantiate the calculus IK -- Show soundness and completeness of normalization for all parametrizations module _ (params : Parameters) where open import Soundness params open import Completeness params
About
Parametric Fitch-style modal lambda calculus
Topics
Resources
Stars
Watchers
Forks
Packages 0
No packages published