default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd LFMTP@LICS 2008: Pittsburgh, PA, USA
- Andreas Abel, Christian Urban:
Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, LFMTP@LICS 2008, Pittsburgh, PA, USA, June 23, 2008. Electronic Notes in Theoretical Computer Science 228, Elsevier 2009 - Andreas Abel, Christian Urban:
Preface. 1 - David Baelde:
On the Expressivity of Minimal Generic Quantification. 3-19 - James Chapman
:
Type Theory Should Eat Itself. 21-36 - James Cheney:
A Simple Nominal Type Theory. 37-52 - Karl Crary:
Explicit Contexts in LF (Extended Abstract). 53-68 - Jana Dunfield, Brigitte Pientka:
Case Analysis of Higher-Order Data. 69-84 - Andrew Gacek, Dale Miller, Gopalan Nadathur:
Reasoning in Abella about Structural Operational Semantics Specifications. 85-100 - Daniel Leivant:
Inductive Completeness of Logics of Programs. 101-112 - Adam Poswolsky, Carsten Schürmann:
System Description: Delphin - A Functional Programming Language for Deductive Systems. 113-120 - Aaron Stump:
Proof Checking Technology for Satisfiability Modulo Theories. 121-133 - Alwen Tiu:
On the Role of Names in Reasoning about lambda-tree Syntax Specifications. 135-150
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-06 22:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
