default search action

combined dblp search
author search
venue search
publication search

ask others

LFMTP 2021 [virtual]

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > LFMTP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2107-07376
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-07376
Elaine Pimentel, Enrico Tassi:
Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2021, Pittsburgh, USA, 16th July 2021. EPTCS 337, 2021
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2107-07661
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-07661
Giselle Reis:
Facilitating Meta-Theory Reasoning (Invited Paper). 1-12
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2107-07670
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-07670
Matthieu Sozeau:
Touring the MetaCoq Project (Invited Paper). 13-29
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2107-07662
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-07662
Gilles Dowek:
Interacting Safely with an Unsafe Environment. 30-38
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2107-07669
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-07669
Johannes Schoisswohl, Laura Kovács:
Automating Induction by Reflection. 39-54
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2107-07663
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-07663
Qinxiang Cao, Xiwei Wu:
Countability of Inductive Types Formalized in the Object-Logic Level. 55-70
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2107-07664
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-07664
Laila El-Beheiry, Giselle Reis, Ammar Karkour:
SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations from SML Programs with Contracts. 71-87
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2107-07665
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-07665
Florian Rabe, Navid Roux:
Systematic Translation of Formalizations of Type Theory from Intrinsic to Extrinsic Style. 88-103
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2107-07666
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-07666
Mary Southern, Gopalan Nadathur:
Adelfa: A System for Reasoning about LF Specifications. 104-120

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.