Cubical Syntax for Reflection-Free Extensional Equality (Englisch)
Freier Zugriff
- Neue Suche nach: Sterling, Jonathan
- Weitere Informationen zu Sterling, Jonathan:
- https://orcid.org/0000-0002-0585-5564
- Neue Suche nach: Angiuli, Carlo
- Weitere Informationen zu Angiuli, Carlo:
- https://orcid.org/0000-0002-9590-3303
- Neue Suche nach: Gratzer, Daniel
- Weitere Informationen zu Gratzer, Daniel:
- https://orcid.org/0000-0003-1944-0789
- Neue Suche nach: Sterling, Jonathan
- Weitere Informationen zu Sterling, Jonathan:
- https://orcid.org/0000-0002-0585-5564
- Neue Suche nach: Angiuli, Carlo
- Weitere Informationen zu Angiuli, Carlo:
- https://orcid.org/0000-0002-9590-3303
- Neue Suche nach: Gratzer, Daniel
- Weitere Informationen zu Gratzer, Daniel:
- https://orcid.org/0000-0003-1944-0789
- Neue Suche nach: Geuvers, Herman
- Weitere Informationen zu Geuvers, Herman:
- https://orcid.org/0000-0003-2522-2980
In:
LIPIcs, Volume 131, FSCD 2019
: 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)
;
131
;
31:1-31:25
;
2019
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Elektronische Ressource
-
Titel:Cubical Syntax for Reflection-Free Extensional Equality
-
Beteiligte:Sterling, Jonathan ( Autor:in ) / Angiuli, Carlo ( Autor:in ) / Gratzer, Daniel ( Autor:in ) / Geuvers, Herman ( Herausgeber:in )
-
Erschienen in:LIPIcs, Volume 131, FSCD 2019 : 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019) ; 131 ; 31:1-31:25Leibniz International Proceedings in Informatics (LIPIcs) ; 131 ; 31:1-31:25
-
Verlag:
- Neue Suche nach: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Erscheinungsdatum:18.06.2019
-
Format / Umfang:25 pages , 778005 byte
-
Anmerkungen:LIPIcs, Vol. 131, 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019), pages 31:1-31:25
-
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
-
A Fresh Look at the lambda-Calculus (Invited Talk)Accattoli, Beniamino et al. | 2019
- 2
-
A Linear Logical Framework in Hybrid (Invited Talk)Felty, Amy P. et al. | 2019
- 3
-
Extending Maximal Completion (Invited Talk)Winkler, Sarah et al. | 2019
- 4
-
Some Semantic Issues in Probabilistic Programming Languages (Invited Talk)Yang, Hongseok et al. | 2019
- 5
-
Bicategories in Univalent FoundationsAhrens, Benedikt / Frumin, Dan / Maggesi, Marco / van der Weide, Niels et al. | 2019
- 6
-
Modular Specification of Monads Through Higher-Order PresentationsAhrens, Benedikt / Hirschowitz, André / Lafont, Ambroise / Maggesi, Marco et al. | 2019
- 7
-
Towards the Average-Case Analysis of Substitution Resolution in Lambda-CalculusBendkowski, Maciej et al. | 2019
- 8
-
Deriving an Abstract Machine for Strong Call by NeedBiernacka, Małgorzata / Charatonik, Witold et al. | 2019
- 9
-
Dependency Pairs Termination in Dependent Type Theory Modulo RewritingBlanqui, Frédéric / Genestier, Guillaume / Hermant, Olivier et al. | 2019
- 10
-
A Generic Framework for Higher-Order GeneralizationsCerna, David M. / Kutsia, Temur et al. | 2019
- 11
-
Homotopy Canonicity for Cubical Type TheoryCoquand, Thierry / Huber, Simon / Sattler, Christian et al. | 2019
- 12
-
Polymorphic Higher-Order TerminationCzajka, Łukasz / Kop, Cynthia et al. | 2019
- 13
-
On the Taylor Expansion of Probabilistic lambda-termsDal Lago, Ugo / Leventis, Thomas et al. | 2019
- 14
-
Proof Normalisation in a Logic Identifying Isomorphic PropositionsDíaz-Caro, Alejandro / Dowek, Gilles et al. | 2019
- 15
-
lambda!-calculus, Intersection Types, and InvolutionsCiaffaglione, Alberto / Di Gianantonio, Pietro / Honsell, Furio / Lenisa, Marina / Scagnetto, Ivan et al. | 2019
- 16
-
Template Games, Simple Games, and Day ConvolutionEberhart, Clovis / Hirschowitz, Tom / Laouar, Alexis et al. | 2019
- 17
-
Differentials and Distances in Probabilistic Coherence SpacesEhrhard, Thomas et al. | 2019
- 18
-
Modal Embeddings and Calling ParadigmsEspírito Santo, José / Pinto, Luís / Uustalu, Tarmo et al. | 2019
- 19
-
Probabilistic Rewriting: Normalization, Termination, and Unique Normal FormsFaggian, Claudia et al. | 2019
- 20
-
A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4Fukuda, Yosuke / Yoshimizu, Akira et al. | 2019
- 21
-
Sparse Tiling Through Overlap Closures for Termination of String RewritingGeser, Alfons / Hofbauer, Dieter / Waldmann, Johannes et al. | 2019
- 22
-
Proof Nets for First-Order Additive Linear LogicHeijltjes, Willem B. / Hughes, Dominic J. D. / Straßburger, Lutz et al. | 2019
- 23
-
The Sub-Additives: A Proof Theory for Probabilistic Choice extending Linear LogicHorne, Ross et al. | 2019
- 24
-
A Lower Bound of the Number of Rewrite Rules Obtained by Homological MethodsIkebuchi, Mirai et al. | 2019
- 25
-
Gluing for Type TheoryKaposi, Ambrus / Huber, Simon / Sattler, Christian et al. | 2019
- 26
-
The Discriminating Power of the Let-In Operator in the Lazy Call-by-Name Probabilistic lambda-CalculusKašterović, Simona / Pagani, Michele et al. | 2019
- 27
-
Hilbert’s Tenth Problem in CoqLarchey-Wendling, Dominique / Forster, Yannick et al. | 2019
- 28
-
The Delta-calculus: Syntax and TypesLiquori, Luigi / Stolze, Claude et al. | 2019
- 29
-
Pointers in Recursion: Exploring the TropicsJacobé de Naurois, Paulin et al. | 2019
- 30
-
Typed Equivalence of Effect Handlers and Delimited ControlPiróg, Maciej / Polesiuk, Piotr / Sieczkowski, Filip et al. | 2019
- 31
-
Cubical Syntax for Reflection-Free Extensional EqualitySterling, Jonathan / Angiuli, Carlo / Gratzer, Daniel et al. | 2019
- 32
-
Guarded Recursion in Agda via Sized TypesVeltri, Niccolò / van der Weide, Niels et al. | 2019
- 33
-
Sequence Types for Hereditary PermutatorsVial, Pierre et al. | 2019
- 34
-
Model Checking Strategy-Controlled Rewriting Systems (System Description)Rubio, Rubén / Martí-Oliet, Narciso / Pita, Isabel / Verdejo, Alberto et al. | 2019