Λ-Symsym: An Interactive Tool for Playing with Involutions and Types (Englisch)
Freier Zugriff
- Neue Suche nach: Honsell, Furio
- Neue Suche nach: Lenisa, Marina
- Neue Suche nach: Scagnetto, Ivan
- Neue Suche nach: Honsell, Furio
- Neue Suche nach: Lenisa, Marina
- Neue Suche nach: Scagnetto, Ivan
- Neue Suche nach: de'Liguoro, Ugo
- Neue Suche nach: Berardi, Stefano
- Neue Suche nach: Altenkirch, Thorsten
- Weitere Informationen zu Altenkirch, Thorsten:
- https://orcid.org/0000-0002-6582-5025
In:
LIPIcs, Volume 188, TYPES 2020
: 26th International Conference on Types for Proofs and Programs (TYPES 2020)
;
188
;
7:1-7:18
;
2021
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Elektronische Ressource
-
Titel:Λ-Symsym: An Interactive Tool for Playing with Involutions and Types
-
Beteiligte:Honsell, Furio ( Autor:in ) / Lenisa, Marina ( Autor:in ) / Scagnetto, Ivan ( Autor:in ) / de'Liguoro, Ugo ( Herausgeber:in ) / Berardi, Stefano ( Herausgeber:in ) / Altenkirch, Thorsten ( Herausgeber:in )
-
Erschienen in:LIPIcs, Volume 188, TYPES 2020 : 26th International Conference on Types for Proofs and Programs (TYPES 2020) ; 188 ; 7:1-7:18Leibniz International Proceedings in Informatics (LIPIcs) ; 188 ; 7:1-7:18
-
Verlag:
- Neue Suche nach: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Erscheinungsdatum:07.06.2021
-
Format / Umfang:18 pages , 921050 byte
-
Anmerkungen:LIPIcs, Vol. 188, 26th International Conference on Types for Proofs and Programs (TYPES 2020), pages 7:1-7:18
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Lizenzbestimmungen:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
On Model-Theoretic Strong Normalization for Truth-Table Natural DeductionAbel, Andreas et al. | 2021
- 2
-
Extending Equational Monadic Reasoning with Monad TransformersAffeldt, Reynald / Nowak, David et al. | 2021
- 3
-
Towards a Certified Reference Monitor of the Android 10 Permission SystemDe Luca, Guido / Luna, Carlos et al. | 2021
- 4
-
Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional LogicEspírito Santo, José / Matthes, Ralph / Pinto, Luís et al. | 2021
- 5
-
Synthetic Completeness for a Terminating Seligman-Style Tableau SystemFrom, Asta Halkjær et al. | 2021
- 6
-
Encoding of Predicate Subtyping with Proof Irrelevance in the λΠ-Calculus Modulo TheoryHondet, Gabriel / Blanqui, Frédéric et al. | 2021
- 7
-
Λ-Symsym: An Interactive Tool for Playing with Involutions and TypesHonsell, Furio / Lenisa, Marina / Scagnetto, Ivan et al. | 2021
- 8
-
Why Not W?Hugunin, Jasper et al. | 2021
- 9
-
Subtype UniversesMaclean, Harry / Luo, Zhaohui et al. | 2021
- 10
-
Two Applications of Logic Programming to CoqManighetti, Matteo / Miller, Dale / Momigliano, Alberto et al. | 2021
- 11
-
Duality in Intuitionistic Propositional LogicUrzyczyn, Paweł et al. | 2021