Searching for "A Framework for Defining Logics." – sorted by Relevance.
8 documents found, showing 1 through 8.
-
A Framework for Defining Logics
- …A Framework for Defining Logics Robert Harper Furio Honsell y Gordon Plotkin z Abstract…
- Cited by 546 (31 self) – Add To MetaCart
-
A framework for defining logical frameworks
- …. Both can be found at the ENTCS Macro Home Page. Abstract A Framework for Defining Logical Frameworks…
- Cited by 3 (0 self) – Add To MetaCart
-
Mechanically Verifying the Correctness of an Offline Partial Evaluator
- … used in the present work. 2.1 LF --- a framework for defining logics The LF calculus has three levels…
- Cited by 12 (4 self) – Add To MetaCart
-
The Church-Rosser Property for Pure Type Systems with βη-reduction
- …. Following "A Framework for Defining Logics" [7, 1], the abstract syntax of the terms is given…
- Cited by 2 (0 self) – Add To MetaCart
-
Programming in Higher-Order Typed Lambda-Calculi
- … framework for defining logics. In Symposium on Logic in Computer Science, pages 194-204, IEEE, June 1987…
- Cited by 27 (4 self) – Add To MetaCart
-
Subtyping with Power Types
- … for higher-order subtyping in in Section 2.2, and an example of using # Power as a logical framework…
- Cited by 3 (0 self) – Add To MetaCart
-
Technology Watch Report Preserving the Data Explosion: Using PDF
- … of PDF 1.4 (PDF/A-1) 6 PDF/A Frequently Asked Questions (FAQ) 9− Provides a framework for defining…
- Add To MetaCart
-
A bidirectional refinement type system for LF
- …, intersection types1 Introduction LF was created as a framework for defining logics [HHP93]. Since its inception…
- Cited by 5 (3 self) – Add To MetaCart
Showing 1 through 8.
