default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th LFM@IJCAR 2004: Cork, Ireland
- Carsten Schürmann:
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, LFM@IJCAR 2004. Cork, Ireland, July 5, 2004. Electronic Notes in Theoretical Computer Science 199, Elsevier 2008 - Carsten Schürmann:
Preface. 1-2 - Andreas Abel:
Normalization for the Simply-Typed Lambda-Calculus in Twelf. 3-16 - Reynald Affeldt
, Naoki Kobayashi:
A Coq Library for Verification of Concurrent Programs. 17-32 - Herman Geuvers, Freek Wiedijk:
A Logical Framework with Explicit Conversions. 33-47 - Tim Sheard, Emir Pasalic:
Meta-programming With Built-in Type Equality. 49-65 - Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker:
Specifying Properties of Concurrent Computations in CLF. 67-87 - Jason Reed:
Redundancy Elimination for LF. 89-106 - Richard Bubel, Andreas Roth, Philipp Rümmer:
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic. 107-128 - Andrew McCreight, Carsten Schürmann:
A Meta Linear Logical Framework. 129-147 - Aaron Stump:
Imperative LF Meta-Programming. 149-159
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 2024-10-31 20:18 CET 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
