![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
3rd 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
![](https://dblp.org/img/cog.dark.24x24.png)
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.