First Page | Document Content | |
---|---|---|
Date: 2009-07-02 05:22:59Deduction Models of computation Formal methods Entailment Metalogic De Bruijn index Natural deduction Curry–Howard correspondence Logic Mathematical logic Lambda calculus | Reasoning with Hypothetical Judgments and Open Terms in Hybrid Amy P. Felty Alberto MomiglianoAdd to Reading ListSource URL: homepages.inf.ed.ac.ukDownload Document from Source WebsiteFile Size: 220,17 KBShare Document on Facebook |