| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Max S. New, Daniel R. Licata |
Call-by-Name Gradual Type Theory.  |
FSCD  |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Bahr |
Strict Ideal Completions of the Lambda Calculus. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Forest 0001, Samuel Mimram |
Coherence of Gray Categories via Rewriting. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Selinger |
Challenges in Quantum Programming Languages (Invited Talk). |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Schmidt-Schauß, David Sabel |
Nominal Unification with Atom and Context Variables. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Maciej Bendkowski, Pierre Lescanne |
Counting Environments and Closures. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | David M. Cerna, Temur Kutsia |
Higher-Order Equational Pattern Anti-Unification. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel R. Licata, Ian Orton, Andrew M. Pitts, Bas Spitters |
Internal Universes in Models of Homotopy Type Theory. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho |
Fixed-Point Constraints for Nominal Equational Unification. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu |
Formal Design, Implementation and Verification of Blockchain Languages (Invited Talk). |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Christina Kohl, Aart Middeldorp |
ProTeM: A Proof Term Manipulator (System Description). |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Jan Willem Klop, Roy Overbeek |
Decreasing Diagrams with Two Labels Are Complete for Confluence of Countable Systems. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluigi Bellin, Willem Heijltjes |
Proof Nets for Bi-Intuitionistic Linear Logic. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Barenbaum, Eduardo Bonelli |
Optimality and the Linear Substitution Calculus. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Robin B. Cockett, Jean-Simon Lemay |
There Is Only One Notion of Differentiation. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrej Dudenhefner, Jakob Rehof |
The Complexity of Principal Inhabitation. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Steering Committee, Program Committee, External Reviewers. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel R. Licata, Michael Shulman, Mitchell Riley |
A Fibrational Framework for Substructural and Modal Logics. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Takahito Aoto 0001, Yoshihito Toyama, Yuta Kimura |
Improving Rewriting Induction Approach for Proving Ground Confluence. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Kaiser, Brigitte Pientka, Gert Smolka |
Relating System F and Lambda2: A Case Study in Coq, Abella and Beluga. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasmin Christian Blanchette, Mathias Fleury, Dmitriy Traytel |
Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Orton, Andrew M. Pitts |
Models of Type Theory Based on Moore Paths. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryota Suzuki 0002, Koichi Fujima, Naoki Kobayashi 0001, Takeshi Tsukada |
Streett Automata Model Checking of Higher-Order Recursion Schemes. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Fiore, Philip Saville |
List Objects with Algebraic Structure. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Silva 0001 |
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages (Invited Talk). |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Bahr |
Böhm Reduction in Infinitary Term Graph Rewriting Systems. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Castellan, Pierre Clairambault, Glynn Winskel |
Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller 0001 (eds.) |
2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK |
FSCD |
2017 |
DBLP BibTeX RDF |
|
| 1 | Max I. Kanovich, Stepan L. Kuznetsov, Glyn Morrill, Andre Scedrov |
A Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded Order. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Lichtman, Jan Hoffmann 0002 |
Arrays and References in Resource Aware ML. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky |
Refutation of Sallé's Longstanding Conjecture. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yohji Akama |
The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Straßburger |
Combinatorial Flows and Their Normalisation. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hillerström, Sam Lindley, Robert Atkey, K. C. Sivaramakrishnan |
Continuation Passing Style for Effect Handlers. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Delia Kesner, Pierre Vial |
Types as Resources for Classical Natural Deduction. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Ahrens, Peter LeFanu Lumsdaine |
Displayed Categories. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Akitoshi Kawamura, Florian Steinberg 0001 |
Polynomial Running Times for Polynomial-Time Oracle Machines. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Moser |
Uniform Resource Analysis by Rewriting: Strenghts and Weaknesses (Invited Talk). |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukasz Czajka 0001 |
Confluence of an Extension of Combinatory Logic by Boolean Constants. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Noam Zeilberger |
A Sequent Calculus for a Semi-Associative Law. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Malgorzata Biernacka, Witold Charatonik, Klara Zielinska |
Generalized Refocusing: From Hybrid Strategies to Abstract Machines. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler |
Infinite Runs in Abstract Completion. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gaboardi |
Type Systems for the Relational Verification of Higher Order Programs (Invited Talk). |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Cécilia Pradic, Colin Riba |
A Curry-Howard Approach to Church's Synthesis. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Guerrini, Marco Solieri |
Is the Optimal Implementation Inefficient? Elementarily Not. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Tasson |
Quantitative Semantics for Probabilistic Programming (Invited Talk). |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Pistone |
On Dinaturality, Typability and beta-eta-Stable Models. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tadeusz Litak, Miriam Polzer, Ulrich Rabenstein |
Negative Translations and Normal Modality. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaustuv Chaudhuri, Sonia Marin, Lutz Straßburger |
Modular Focused Proof Systems for Intuitionistic Modal Logics. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Gimenez, David Obwaller |
Interaction Automata and the ia2d Interpreter. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Coquand, Bassel Mannaa |
The Independence of Markov's Principle in Type Theory. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Franziska Rapp, Aart Middeldorp |
Automating the First-Order Theory of Rewriting for Left-Linear Right-Ground Rewrite Systems. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | James Laird |
Weighted Relational Models for Mobility. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Blot |
Classical Extraction in Continuation Models. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent van Oostrom, Yoshihito Toyama |
Normalisation by Random Descent. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof Bar, Aleks Kissinger, Jamie Vicary |
Globular: An Online Proof Assistant for Higher-Dimensional Rewriting. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Makoto Hamana |
Strongly Normalising Cyclic Data Computation by Iteration Categories of Second-Order Algebraic Theories. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Haël Brenas, Rachid Echahed, Martin Strecker |
Proving Correctness of Logically Decorated Graph Rewriting Systems. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomer Libal, Dale Miller 0001 |
Functions-as-Constructors Higher-Order Unification. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho |
Nominal Narrowing. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Avanzini, Georg Moser |
Complexity of Acyclic Term Graph Rewriting. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ichiro Hasuo |
Coalgebras and Higher-Order Computation: a GoI Approach. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kahrs, Connor Smith |
Non-Omega-Overlapping TRSs are UN. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Thorsten Altenkirch, Ambrus Kaposi |
Normalisation by Evaluation for Dependent Types. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavien Breuvart, Giulio Manzonetto, Andrew Polonsky, Domenico Ruoppolo |
New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Nipkow |
Verified Analysis of Functional Data Structures. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Amal Ahmed 0001 |
Compositional Compiler Verification for a Multi-Language World. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk |
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryuta Arisaka |
Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Amin Timany, Bart Jacobs 0002 |
Category Theory in Coq 8.5. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitriy Traytel |
Formal Languages, Formally and Coinductively. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Steering Committee, Program Committee, External Reviewers, Organising Commitee. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Malbos, Samuel Mimram |
Homological Computations for Term Rewriting Systems. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ofer Arieli, Arnon Avron |
Minimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrej Dudenhefner, Moritz Martens, Jakob Rehof |
The Intersection Type Unification Problem. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Sternagel, Thomas Sternagel |
Certifying Confluence of Almost Orthogonal CTRSs via Exact Tree Automata Completion. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Nishida 0001, Adrián Palacios, Germán Vidal |
Reversible Term Rewriting. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco |
Computing Connected Proof(-Structure)s From Their Taylor Expansion. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Laurent 0001 |
Focusing in Orthologic. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Cynthia Kop, Jakob Grue Simonsen |
Complexity Hierarchies and Higher-Order Cons-Free Rewriting. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Fer-Jan de Vries |
On Undefined and Meaningless in Lambda Definability. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcin Benke, Aleksy Schubert, Daria Walukiewicz-Chrzaszcz |
Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Delia Kesner, Brigitte Pientka (eds.) |
1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal |
FSCD |
2016 |
DBLP BibTeX RDF |
|
| 1 | Takahito Aoto 0001, Yoshihito Toyama |
Ground Confluence Prover based on Rewriting Induction. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard P. Huet |
Teaching Foundations of Computation and Deduction Through Literate Functional Programming and Type Theory Formalization. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryota Akiyoshi, Kazushige Terui |
Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule.. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license