default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st LFMTP@FLoC 2006: Seattle, WA, USA
- Alberto Momigliano, Brigitte Pientka:
Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FLoC 2006, Seattle, WA, USA, August 16, 2006. Electronic Notes in Theoretical Computer Science 174(5), Elsevier 2007 - Alberto Momigliano
, Brigitte Pientka:
Preface. 1-2 - Ulrich Schöpp:
Modelling Generic Judgements. 19-35 - Murdoch Gabbay:
Hierarchical Nominal Terms and Their Theory of Rewriting. 37-52 - Stefan Berghofer, Christian Urban:
A Head-to-Head Comparison of de Bruijn Indices and Names. 53-67 - Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov:
Practical Reflection for Sequent Logics. 79-94 - Chad E. Brown:
Encoding Functional Relations in Scunak. 127-139 - Alwen Tiu:
A Logic for Reasoning about Generic Judgments. 3-18 - Brian E. Aydemir, Aaron Bohannon, Stephanie Weirich:
Nominal Reasoning Techniques in Coq: (Extended Abstract). 69-77 - Andrew W. Appel, Xavier Leroy:
A List-machine Benchmark for Mechanized Metatheory: (Extended Abstract). 95-108 - Kevin Donnelly, Hongwei Xi:
A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F. 109-125 - Mircea-Dan Hernest:
Synthesis of Moduli of Uniform Continuity by the Monotone Dialectica Interpretation in the Proof-system MinLog. 141-149
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 2025-02-07 23:59 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:
