Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Sam Staton |
Some Formal Structures in Probability (Invited Talk). |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pieter J. W. Hofstra, Jason Parker, Philip J. Scott |
Polymorphic Automorphisms and the Picard Group. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Anupam Das 0002 |
On the Logical Strength of Confluence and Normalisation for Cyclic Proofs. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ken Sakayori, Takeshi Tsukada |
Output Without Delay: A π-Calculus Compatible with Categorical Semantics. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yu-Yang Lin, Nikos Tzevelekos |
Symbolic Execution Game Semantics. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Cyril Cohen, Kazuhiko Sakaguchi, Enrico Tassi |
Hierarchy Builder: Algebraic hierarchies Made Easy in Coq with Elpi (System Description). |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zeinab Galal |
A Profunctorial Scott Semantics. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Wilmer Ricciotti, James Cheney |
Strongly Normalizing Higher-Order Relational Queries. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yoshiki Nakamura 0001, Kazuyuki Asada, Naoki Kobayashi 0001, Ryoma Sin'ya, Takeshi Tsukada |
On Average-Case Hardness of Higher-Order Model Checking. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Henry DeYoung, Frank Pfenning, Klaas Pruiksma |
Semi-Axiomatic Sequent Calculus. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | André Hirschowitz, Tom Hirschowitz, Ambroise Lafont |
Modules over Monads and Operational Semantics. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Boisseau |
String Diagrams for Optics. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kazuyuki Asada, Naoki Kobayashi 0001 |
Size-Preserving Translations from Order-(n+1) Word Grammars to Order-n Tree Grammars. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Chuangjie Xu |
A Gentzen-Style Monadic Translation of Gödel's System T. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mario Alvarez-Picallo, C.-H. Luke Ong |
The Difference λ-Calculus: A Language for Difference Categories. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yo Mitani, Naoki Kobayashi 0001, Takeshi Tsukada |
A Probabilistic Higher-Order Fixpoint Logic. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Paul-André Melliès, Nicolas Rolland |
Comprehension and Quotient Structures in the Language of 2-Categories. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zena M. Ariola (eds.) |
5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, June 29-July 6, 2020, Paris, France (Virtual Conference). |
FSCD |
2020 |
DBLP BibTeX RDF |
|
1 | Dariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski |
A Reflection on Continuation-Composing Style. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Besik Dundua, Temur Kutsia, Mircea Marin, Ioana-Cleopatra Pau |
Constraint Solving over Multiple Similarity Relations. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Simona Ronchi Della Rocca, Ugo Dal Lago, Claudia Faggian |
Solvability in a Probabilistic Setting (Invited Talk). |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Ivaskovic, Alan Mycroft, Dominic Orchard |
Data-Flow Analyses as Effects and Graded Monads. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk |
A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Claude Stolze, Luigi Liquori |
A Type Checker for a Logical Framework with Union and Intersection Types (System Description). |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andrew M. Pitts |
Quotients in Dependent Type Theory (Invited Talk). |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ambrus Kaposi, Jakob von Raumer |
A Syntax for Mutual Inductive Families. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Hülsbusch, Barbara König 0001, Sebastian Küpper, Lara Stoltenow |
Conditional Bisimilarity for Reactive Systems. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Blanqui |
Type Safety of Rewrite Rules in Dependent Types. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ankush Das, Frank Pfenning |
Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description). |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | René Thiemann, Jonas Schöpf, Christian Sternagel, Akihisa Yamada 0002 |
Certifying the Weighted Path Order (Invited Talk). |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Dudenhefner |
Undecidability of Semi-Unification on a Napkin. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Masaomi Yamaguchi, Takahito Aoto 0001 |
A Fast Decision Procedure For Uniqueness of Normal Forms w.r.t. Conversion of Shallow Term Rewriting Systems. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rose Bohrer, André Platzer |
Refining Constructive Hybrid Games. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | David M. Cerna, Temur Kutsia |
Unital Anti-Unification: Type and Algorithms. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Cynthia Kop |
WANDA - a Higher Order Termination Tool (System Description). |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Brigitte Pientka |
A Modal Analysis of Metaprogramming, Revisited (Invited Talk). |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Hondet, Frédéric Blanqui |
The New Rewriting Engine of Dedukti (System Description). |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rick Erkens, Maurice Laveaux |
Adaptive Non-Linear Pattern Matching Automata. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Paul Brunet, David J. Pym |
Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Genestier |
Encoding Agda Programs Using Rewriting. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tim Lukas Diezel, Sergey Goncharov 0001 |
Towards Constructive Hybrid Semantics. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Petar Vukmirovic, Alexander Bentkamp, Visa Nummelin |
Efficient Full Higher-Order Unification. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Díaz-Caro, Gilles Dowek |
Proof Normalisation in a Logic Identifying Isomorphic Propositions. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Vial |
Sequence Types for Hereditary Permutators. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto |
lambda!-calculus, Intersection Types, and Involutions. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Herman Geuvers (eds.) |
4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, June 24-30, 2019, Dortmund, Germany. |
FSCD |
2019 |
DBLP BibTeX RDF |
|
1 | Amy P. Felty |
A Linear Logical Framework in Hybrid (Invited Talk). |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Bendkowski |
Towards the Average-Case Analysis of Substitution Resolution in Lambda-Calculus. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | David M. Cerna, Temur Kutsia |
A Generic Framework for Higher-Order Generalizations. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Simona Kasterovic, Michele Pagani |
The Discriminating Power of the Let-In Operator in the Lazy Call-by-Name Probabilistic lambda-Calculus. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski |
Typed Equivalence of Effect Handlers and Delimited Control. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Paulin Jacobé de Naurois |
Pointers in Recursion: Exploring the Tropics. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi |
Modular Specification of Monads Through Higher-Order Presentations. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Liquori, Claude Stolze |
The Delta-calculus: Syntax and Types. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Coquand, Simon Huber, Christian Sattler |
Homotopy Canonicity for Cubical Type Theory. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Willem Heijltjes, Dominic J. D. Hughes, Lutz Straßburger |
Proof Nets for First-Order Additive Linear Logic. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | José Espírito Santo, Luís Pinto 0001, Tarmo Uustalu |
Modal Embeddings and Calling Paradigms. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ambrus Kaposi, Simon Huber, Christian Sattler |
Gluing for Type Theory. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sarah Winkler |
Extending Maximal Completion (Invited Talk). |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Blanqui, Guillaume Genestier, Olivier Hermant |
Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo |
Model Checking Strategy-Controlled Rewriting Systems (System Description). |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago, Thomas Leventis |
On the Taylor Expansion of Probabilistic lambda-terms. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yosuke Fukuda 0001, Akira Yoshimizu |
A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Niccolò Veltri, Niels van der Weide |
Guarded Recursion in Agda via Sized Types. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli |
A Fresh Look at the lambda-Calculus (Invited Talk). |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Claudia Faggian |
Probabilistic Rewriting: Normalization, Termination, and Unique Normal Forms. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Clovis Eberhart, Tom Hirschowitz, Alexis Laouar |
Template Games, Simple Games, and Day Convolution. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Larchey-Wendling, Yannick Forster 0002 |
Hilbert's Tenth Problem in Coq. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ross Horne |
The Sub-Additives: A Proof Theory for Probabilistic Choice extending Linear Logic. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niels van der Weide |
Bicategories in Univalent Foundations. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hongseok Yang |
Some Semantic Issues in Probabilistic Programming Languages (Invited Talk). |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Malgorzata Biernacka, Witold Charatonik |
Deriving an Abstract Machine for Strong Call by Need. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Sterling, Carlo Angiuli, Daniel Gratzer |
Cubical Syntax for Reflection-Free Extensional Equality. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lukasz Czajka 0001, Cynthia Kop |
Polymorphic Higher-Order Termination. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mirai Ikebuchi |
A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ehrhard |
Differentials and Distances in Probabilistic Coherence Spaces. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alfons Geser, Dieter Hofbauer, Johannes Waldmann |
Sparse Tiling Through Overlap Closures for Termination of String Rewriting. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mirai Ikebuchi, Keisuke Nakano 0001 |
On Repetitive Right Application of B-Terms. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Takahito Aoto 0001, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida 0001, Kiraku Shintani, Harald Zankl |
Confluence Competition 2018. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Genet |
Completeness of Tree Automata Completion. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Simon Pacaud Lemay |
Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg-Moore Categories. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret |
Term-Graph Anti-Unification. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ambrus Kaposi, András Kovács |
A Syntax for Higher Inductive-Inductive Types. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Parys |
Homogeneity Without Loss of Generality. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rohan Jacob-Rao, Brigitte Pientka, David Thibodeau 0001 |
Index-Stratified Types. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lukasz Czajka 0001 |
Term Rewriting Characterisation of LOGSPACE for Finite and Infinite Data. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nirina Andrianarivelo, Pierre Réty |
Confluence of Prefix-Constrained Rewrite Systems. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lê Thành Dung Nguyên |
Unique perfect matchings and proof nets. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Amin Timany, Matthieu Sozeau |
Cumulative Inductive Types In Coq. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stéphanie Delaune |
Analysing Privacy-Type Properties in Cryptographic Protocols (Invited Talk). |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Nishida 0001, Yuya Maeda |
Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sandra Alves, Sabine Broda |
A Unifying Framework for Type Inhabitation. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Amar Hadzihasanovic, Giovanni de Felice, Kang Feng Ng |
A Diagrammatic Axiomatisation of Fermionic Quantum Circuits. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bassel Mannaa, Rasmus Ejlers Møgelberg |
The Clocks They Are Adjunctions Denotational Semantics for Clocked Type Theory. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sarah Winkler, Aart Middeldorp |
Completion for Logically Constrained Rewriting. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Valeria Vignudelli |
Proof Techniques for Program Equivalence in Probabilistic Higher-Order Languages (Invited Talk). |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Kirchner (eds.) |
3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK |
FSCD |
2018 |
DBLP BibTeX RDF |
|