Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Max S. New, Daniel R. Licata |
Call-by-Name Gradual Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, pp. 24:1-24:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-077-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Bahr |
Strict Ideal Completions of the Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, pp. 8:1-8:16, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-077-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Simon Forest 0001, Samuel Mimram |
Coherence of Gray Categories via Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, pp. 15:1-15:16, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-077-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Peter Selinger |
Challenges in Quantum Programming Languages (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, pp. 3:1-3:2, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-077-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Schmidt-Schauß, David Sabel |
Nominal Unification with Atom and Context Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, pp. 28:1-28:20, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-077-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Bendkowski, Pierre Lescanne |
Counting Environments and Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, pp. 11:1-11:16, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-077-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | David M. Cerna, Temur Kutsia |
Higher-Order Equational Pattern Anti-Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, pp. 12:1-12:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-077-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Daniel R. Licata, Ian Orton, Andrew M. Pitts, Bas Spitters |
Internal Universes in Models of Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, pp. 22:1-22:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-077-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho |
Fixed-Point Constraints for Nominal Equational Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, pp. 7:1-7:16, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-077-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Grigore Rosu |
Formal Design, Implementation and Verification of Blockchain Languages (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, pp. 2:1-2:6, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-077-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christina Kohl, Aart Middeldorp |
ProTeM: A Proof Term Manipulator (System Description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, pp. 31:1-31:8, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-077-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, pp. 14:1-14:15, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-077-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gianluigi Bellin, Willem Heijltjes |
Proof Nets for Bi-Intuitionistic Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, pp. 10:1-10:18, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-077-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Barenbaum, Eduardo Bonelli |
Optimality and the Linear Substitution Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 9:1-9:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | J. Robin B. Cockett, Jean-Simon Lemay |
There Is Only One Notion of Differentiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 13:1-13:21, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Dudenhefner, Jakob Rehof |
The Complexity of Principal Inhabitation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 15:1-15:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Steering Committee, Program Committee, External Reviewers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 0:i-0:xiv, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daniel R. Licata, Michael Shulman, Mitchell Riley |
A Fibrational Framework for Substructural and Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 25:1-25:22, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Takahito Aoto 0001, Yoshihito Toyama, Yuta Kimura |
Improving Rewriting Induction Approach for Proving Ground Confluence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 7:1-7:18, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 21:1-21:19, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jasmin Christian Blanchette, Mathias Fleury, Dmitriy Traytel |
Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 11:1-11:18, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ian Orton, Andrew M. Pitts |
Models of Type Theory Based on Moore Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 28:1-28:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 32:1-32:18, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Fiore, Philip Saville |
List Objects with Algebraic Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 16:1-16:18, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexandra Silva 0001 |
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 3:1-3:1, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Bahr |
Böhm Reduction in Infinitary Term Graph Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 8:1-8:20, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Simon Castellan, Pierre Clairambault, Glynn Winskel |
Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 12:1-12:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 22:1-22:17, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Lichtman, Jan Hoffmann 0002 |
Arrays and References in Resource Aware ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 26:1-26:20, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky |
Refutation of Sallé's Longstanding Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 20:1-20:18, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 6:1-6:19, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lutz Straßburger |
Combinatorial Flows and Their Normalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 31:1-31:17, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Hillerström, Sam Lindley, Robert Atkey, K. C. Sivaramakrishnan |
Continuation Passing Style for Effect Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 18:1-18:19, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Delia Kesner, Pierre Vial |
Types as Resources for Classical Natural Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 24:1-24:17, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Ahrens, Peter LeFanu Lumsdaine |
Displayed Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 5:1-5:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Akitoshi Kawamura, Florian Steinberg 0001 |
Polynomial Running Times for Polynomial-Time Oracle Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 23:1-23:18, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Georg Moser |
Uniform Resource Analysis by Rewriting: Strenghts and Weaknesses (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 2:1-2:10, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lukasz Czajka 0001 |
Confluence of an Extension of Combinatory Logic by Boolean Constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 14:1-14:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Noam Zeilberger |
A Sequent Calculus for a Semi-Associative Law. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 33:1-33:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Malgorzata Biernacka, Witold Charatonik, Klara Zielinska |
Generalized Refocusing: From Hybrid Strategies to Abstract Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 10:1-10:17, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler |
Infinite Runs in Abstract Completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 19:1-19:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gaboardi |
Type Systems for the Relational Verification of Higher Order Programs (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 1:1-1:1, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Cécilia Pradic, Colin Riba |
A Curry-Howard Approach to Church's Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 30:1-30:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Guerrini, Marco Solieri |
Is the Optimal Implementation Inefficient? Elementarily Not. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 17:1-17:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Christine Tasson |
Quantitative Semantics for Probabilistic Programming (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 4:1-4:1, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Pistone |
On Dinaturality, Typability and beta-eta-Stable Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 29:1-29:17, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tadeusz Litak, Miriam Polzer, Ulrich Rabenstein |
Negative Translations and Normal Modality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 27:1-27:18, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kaustuv Chaudhuri, Sonia Marin, Lutz Straßburger |
Modular Focused Proof Systems for Intuitionistic Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 16:1-16:18, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Gimenez, David Obwaller |
Interaction Automata and the ia2d Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 35:1-35:11, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Coquand, Bassel Mannaa |
The Independence of Markov's Principle in Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 17:1-17:18, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Franziska Rapp, Aart Middeldorp |
Automating the First-Order Theory of Rewriting for Left-Linear Right-Ground Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 36:1-36:12, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | James Laird |
Weighted Relational Models for Mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 24:1-24:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Blot |
Classical Extraction in Continuation Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 13:1-13:17, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vincent van Oostrom, Yoshihito Toyama |
Normalisation by Random Descent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 32:1-32:18, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof Bar, Aleks Kissinger, Jamie Vicary |
Globular: An Online Proof Assistant for Higher-Dimensional Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 34:1-34:11, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Hamana |
Strongly Normalising Cyclic Data Computation by Iteration Categories of Second-Order Algebraic Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 21:1-21:18, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jon Haël Brenas, Rachid Echahed, Martin Strecker |
Proving Correctness of Logically Decorated Graph Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 14:1-14:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tomer Libal, Dale Miller 0001 |
Functions-as-Constructors Higher-Order Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 26:1-26:17, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho |
Nominal Narrowing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 11:1-11:17, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Martin Avanzini, Georg Moser |
Complexity of Acyclic Term Graph Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 10:1-10:18, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ichiro Hasuo |
Coalgebras and Higher-Order Computation: a GoI Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 2:1-2:2, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kahrs, Connor Smith |
Non-Omega-Overlapping TRSs are UN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 22:1-22:17, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thorsten Altenkirch, Ambrus Kaposi |
Normalisation by Evaluation for Dependent Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 6:1-6:16, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 15:1-15:18, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Nipkow |
Verified Analysis of Functional Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 4:1-4:2, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Amal Ahmed 0001 |
Compositional Compiler Verification for a Multi-Language World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 1:1-1:1, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 9:1-9:17, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ryuta Arisaka |
Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 8:1-8:18, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Amin Timany, Bart Jacobs 0002 |
Category Theory in Coq 8.5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 30:1-30:18, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dmitriy Traytel |
Formal Languages, Formally and Coinductively. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 31:1-31:17, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Steering Committee, Program Committee, External Reviewers, Organising Commitee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 0:i-0:xviii, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Malbos, Samuel Mimram |
Homological Computations for Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 27:1-27:17, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ofer Arieli, Arnon Avron |
Minimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 7:1-7:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Dudenhefner, Moritz Martens, Jakob Rehof |
The Intersection Type Unification Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 19:1-19:16, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christian Sternagel, Thomas Sternagel |
Certifying Confluence of Almost Orthogonal CTRSs via Exact Tree Automata Completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 29:1-29:16, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Nishida 0001, Adrián Palacios, Germán Vidal |
Reversible Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 28:1-28:18, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco |
Computing Connected Proof(-Structure)s From Their Taylor Expansion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 20:1-20:18, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Laurent 0001 |
Focusing in Orthologic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 25:1-25:17, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Cynthia Kop, Jakob Grue Simonsen |
Complexity Hierarchies and Higher-Order Cons-Free Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 23:1-23:18, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fer-Jan de Vries |
On Undefined and Meaningless in Lambda Definability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 18:1-18:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Benke, Aleksy Schubert, Daria Walukiewicz-Chrzaszcz |
Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 12:1-12:16, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Takahito Aoto 0001, Yoshihito Toyama |
Ground Confluence Prover based on Rewriting Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 33:1-33:12, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gérard P. Huet |
Teaching Foundations of Computation and Deduction Through Literate Functional Programming and Type Theory Formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 3:1-3:2, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ryota Akiyoshi, Kazushige Terui |
Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule.. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 5:1-5:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|