Logical Relations for a Logical Framework

Rabe F (2013)

Publication Type: Journal article

Publication year: 2013

Journal

ACM Transactions on Computational Logic Association for Computing Machinery (ACM)

Book Volume: 14

Pages Range: 1--34

Journal Issue: 4

Authors with CRIS profile

Florian Rabe Professur für Wissensrepräsentation und -verarbeitung

How to cite

APA:

Rabe, F. (2013). Logical Relations for a Logical Framework. ACM Transactions on Computational Logic, 14(4), 1--34.

MLA:

Rabe, Florian. "Logical Relations for a Logical Framework." ACM Transactions on Computational Logic 14.4 (2013): 1--34.

BibTeX: Download