The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase curry-howard (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1992-1999 (18) 2000-2003 (19) 2004-2006 (18) 2007-2008 (16) 2009-2016 (23) 2017-2023 (17) 2024 (1)
Publication types (Num. hits)
article(32) book(1) inproceedings(74) phdthesis(5)
Venues (Conferences, Journals, ...)
CoRR(13) TLCA(9) CSL(7) POPL(6) LICS(5) ICFP(4) Stud Logica(4) WoLLIC(4) TYPES(3) ACM Trans. Program. Lang. Syst...(2) ESOP(2) IJCAR(2) Inf. Comput.(2) Log. Methods Comput. Sci.(2) LOPSTR(2) PLPV(2) More (+10 of total 50)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 74 occurrences of 49 keywords

Results
Found 112 publication records. Showing 112 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
123Jean-Louis Krivine The Curry-Howard Correspondence in Set Theory. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
115Tim Sheard Putting curry-howard to work. Search on Bibsonomy Haskell The full citation details ... 2005 DBLP  DOI  BibTeX  RDF extensional kind system, logic, haskell, GADT, curry-howard isomorphism
99Iman Poernomo, John N. Crossley, Martin Wirsing Programs, Proofs and Parametrized Specifications. Search on Bibsonomy WADT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Parametrized specifications, CASL, SML, Curry-Howard isomorphism
85Kostia Chardonnet Towards a Curry-Howard Correspondence for Quantum Computation. (Vers une correspondance de Curry-Howard pour le calcul quantique). Search on Bibsonomy 2023   RDF
85Farzad Jafarrahmani Fixpoints of Types in Linear Logic from a Curry-Howard-Lambek Perspective. (Points fixes de types en logique linéaire d'un point de vue Curry-Howard-Lambek). Search on Bibsonomy 2023   RDF
73Neelakantan R. Krishnaswami Focusing on pattern matching. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF curry-howard, pattern matching, type theory, focusing
73Jean-Louis Krivine A call-by-name lambda-calculus machine. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Lambda-calculus machine, Control instruction, Curry-Howard correspondence
73Atsushi Ohori A proof theory for machine code. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Curry-Howard isomorphism
73Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori Pure patterns type systems. Search on Bibsonomy POPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Curry-Howard, pure type systems, patterns, matching, logics, Lambda-calculus, rewriting
69Murdoch Gabbay, Dominic P. Mulligan One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations. Search on Bibsonomy WoLLIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
69Atsushi Ohori A Curry-Howard Isomorphism for Compilation and Program Execution. Search on Bibsonomy TLCA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
54Ana Bove, Peter Dybjer Dependent Types at Work. Search on Bibsonomy LerNet ALFA Summer School The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
54Herman Geuvers, Rob Nederpelt Rewriting for Fitch Style Natural Deductions. Search on Bibsonomy RTA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
54François Maurel Nondeterministic Light Logics and NP-Time. Search on Bibsonomy TLCA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Light logics, implicit characterisations of complexity classes, NP complexity
54Jean-Louis Krivine Typed lambda-calculus in classical Zermelo-Frænkel set theory. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000): 03E40, 03B40, 68N18
54Iman Poernomo, John N. Crossley Protocols between Programs and Proofs. Search on Bibsonomy LOPSTR (LNCS 2042: Selected Papers) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
54Torben Braüner The Girard Translation Extended with Recursion. Search on Bibsonomy CSL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
53Noam Zeilberger Refinement types and computational duality. Search on Bibsonomy PLPV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF duality, effects, intersection types, focusing, union types
46Zena M. Ariola, Aaron Bohannon, Amr Sabry Sequent calculi and abstract machines. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Krivine machine, duality, explicit substitutions, natural deduction, Curry-Howard isomorphism
46Harry Halpin From Typed-Functional Semantic Web Services to Proofs. Search on Bibsonomy ISWC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Functional Programming, Semantic Web Services, Type Theory, Proofs, Curry-Howard Isomorphism
46Yosihiro Yuse, Atsushi Igarashi A modal type system for multi-level generating extensions with persistent code. Search on Bibsonomy PPDP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF time-ordered normalization, temporal logic, type systems, modal logic, meta-programming, curry-howard isomorphism
46Pavel Naumov On Modal Logics of Partial Recursive Functions. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF modal logic, recursive function, Curry-Howard isomorphism
46Philip Wadler Call-by-value is dual to call-by-name. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Curry-Howard correspondence, De Morgan dual, lambda mu calculus, logic, lambda calculus, sequent calculus, natural deduction
46Uday S. Reddy A Typed Foundation for Directional Logic Programming. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Directionality, types, linear logic, sequent calculus, modes, concurrent logic programming, Curry-Howard isomorphism, logic variables
42Juan Climent Vidal, Enric Cosme-Llópez From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
42Kostia Chardonnet, Alexis Saurin, Benoît Valiron A Curry-Howard Correspondence for Linear, Reversible Computation. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Kostia Chardonnet, Alexis Saurin, Benoît Valiron A Curry-Howard Correspondence for Linear, Reversible Computation. Search on Bibsonomy CSL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Ivo Pezlar The placeholder view of assumptions and the Curry-Howard correspondence. Search on Bibsonomy Synth. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Cosimo Perini Brogi Curry-Howard-Lambek Correspondence for Intuitionistic Belief. Search on Bibsonomy Stud Logica The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Ivo Pezlar The Placeholder View of Assumptions and the Curry-Howard Correspondence (Extended Abstract). Search on Bibsonomy CLAR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Cosimo Perini Brogi Curry-Howard-Lambek Correspondence for Intuitionistic Belief. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
42Kostia Chardonnet, Alexis Saurin, Benoît Valiron Toward a Curry-Howard Equivalence for Linear, Reversible Computation - Work-in-Progress. Search on Bibsonomy RC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
42Juan Ferrer Meleiro, Hugo Luiz Mariano Formalizing the Curry-Howard Correspondence. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
42Cécilia Pradic, Colin Riba A Curry-Howard Approach to Church's Synthesis. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Federico Aschieri, Agata Ciabattoni, Francesco A. Genco Disjunctive Axioms and Concurrent λ-Calculi: a Curry-Howard Approach. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
42Rob Arthan, Paulo Oliva A Curry-Howard Correspondence for the Minimal Fragment of Łukasiewicz Logic. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
42Cécilia Pradic, Colin Riba A Curry-Howard Approach to Church's Synthesis. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
42Cécilia Pradic, Colin Riba LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
42Konstantinos Pouliasis Relating Justification Logic Modality and Type Theory in Curry-Howard Fashion. Search on Bibsonomy 2018   RDF
42Cécilia Pradic, Colin Riba A Curry-Howard Approach to Church's Synthesis. Search on Bibsonomy FSCD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
42Federico Aschieri, Margherita Zorzi On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
42G. A. Kavvos The Many Worlds of Modal λ-calculi: I. Curry-Howard for Necessity, Possibility and Time. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
42Lucius Schoenbaum A Generalization of the Curry-Howard Correspondence. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
42Johannes Emerich How Are Programs Found? Speculating About Language Ergonomics With Curry-Howard. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
42Federico Aschieri, Agata Ciabattoni, Francesco A. Genco Curry-Howard Correspondence for Gödel Logic: from Natural Deduction to Parallel Computation. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
42Federico Aschieri, Matteo Manighetti On Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov's Principle in First-Order Logic and Arithmetic. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
42Federico Aschieri On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
42Konstantinos Pouliasis A Curry-Howard View of Basic Justification Logic. Search on Bibsonomy WoLLIC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
42Johannes Emerich How are programs found? speculating about language ergonomics with Curry-Howard. Search on Bibsonomy Onward! The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
42Federico Aschieri, Matteo Manighetti On Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov's Principle in First-Order Logic and Arithmetic. Search on Bibsonomy TYPES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
42José Espírito Santo Curry-Howard for Sequent Calculus at Last!. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
42Martín Hötzel Escardó, Chuangjie Xu The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
42Pimpen Vejjajiva Extended Curry-Howard terms for second-order logic. Search on Bibsonomy Math. Log. Q. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
42Marco Benini Intuitionistic First-Order Logic: Categorical Semantics via the Curry-Howard Isomorphism. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
42Federico Aschieri, Stefano Berardi, Giovanni Birolo Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
42Murdoch James Gabbay, Dominic P. Mulligan Corrigendum to "Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms" [Inf.Comput.208(3)(2010) 230-258]. Search on Bibsonomy Inf. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
42Murdoch James Gabbay, Dominic P. Mulligan Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms. Search on Bibsonomy Inf. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
42Karl Mazurak, Steve Zdancewic Lolliproc: to concurrency from classical linear logic via curry-howard and control. Search on Bibsonomy ICFP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
42Robert J. Irwin Review of "Derivation and Computation: Taking the Curry-Howard Correspondence Seriously by Harold Simmons, " Cambridge University Press, 2000. Search on Bibsonomy SIGACT News The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
42Alexander J. Summers Curry-Howard Term Calculi for Gentzen-Style Classical Logics. Search on Bibsonomy 2008   RDF
42Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley Adapting Proofs-as-Programs - The Curry-Howard Protocol Search on Bibsonomy 2005   DOI  RDF
42Alexandre Miquel A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory. Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
42Michael Florentin Nielsen Modal logic and the Curry-Howard isomorphism. Search on Bibsonomy 1999   RDF
42Atsushi Ohori The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code. Search on Bibsonomy Fuji International Symposium on Functional and Logic Programming The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
42Frank A. Bäuerle, David W. Albrecht, John N. Crossley, John S. Jeavons Curry-Howard Terms for Linear Logic. Search on Bibsonomy Stud Logica The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
42David W. Albrecht, John N. Crossley, John S. Jeavons New Curry-Howard Terms for Full Linear Logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
42C.-H. Luke Ong, Charles A. Stewart A Curry-Howard Foundation for Functional Computation with Control. Search on Bibsonomy POPL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ML
42Dov M. Gabbay, Ruy J. G. B. de Queiroz Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics. Search on Bibsonomy J. Symb. Log. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
40Michael Moortgat Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus. Search on Bibsonomy WoLLIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Takeshi Tsukada, Atsushi Igarashi A Logical Foundation for Environment Classifiers. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27Benoît Montagu, Didier Rémy Modeling abstract types in modules with open existential types. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF linear type systems, modularity, generativity, type systems, modules, lambda-calculus, abstract types, existential types
27Ruy J. G. B. de Queiroz On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF reduction rules, proof-terms, proof-theoretic semantics, game-theoretic semantics, dialogue semantics, natural deduction
27Daniel R. Licata, Noam Zeilberger, Robert Harper 0001 Focusing on Binding and Computation. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF computation, binding, logical frameworks, polarity, sequent calculus
27Noam Zeilberger Focusing and higher-order abstract syntax. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF pattern-matching, higher-order abstract syntax, focusing
27Satoshi Kobayashi A New Translation for Semi-classical Theories - Backtracking without CPS. Search on Bibsonomy FLOPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Raffaella Bernardi, Michael Moortgat Continuation Semantics for Symmetric Categorial Grammar. Search on Bibsonomy WoLLIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27José Espírito Santo Completing Herbelin's Programme. Search on Bibsonomy TLCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Yoshihiko Kakutani Call-by-Name and Call-by-Value in Normal Modal Logic. Search on Bibsonomy APLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Thorsten Altenkirch, Conor McBride, Wouter Swierstra Observational equality, now! Search on Bibsonomy PLPV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF type theory, equality
27Tim Sheard, Nathan Linger Programming in Omega. Search on Bibsonomy CEFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Anna Zamansky, Nissim Francez, Yoad Winter A 'Natural Logic' inference system using the Lambek calculus. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Natural logic, Inference, Normalization, Lambek calculus
27James McKinna Why dependent types matter. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Alexander J. Summers, Steffen van Bakel Approaches to Polymorphism in Classical Sequent Calculus. Search on Bibsonomy ESOP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Roy Dyckhoff, Delia Kesner, Stéphane Lengrand Strong Cut-Elimination Systems for Hudelmaier's Depth-Bounded Sequent Calculus for Implicational Logic. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz Consistency and Completeness of Rewriting in the Calculus of Constructions. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Peter Hines Physical Systems as Constructive Logics. Search on Bibsonomy UC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Wojciech Moczydlowski Normalization of IZF with Replacement. Search on Bibsonomy CSL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Alexis Saurin Separation with Streams in the lambdaµ-calculus. Search on Bibsonomy LICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Böhm Theorem, Calculus of Streams, Separation Property, Untyped ??-calculus
27Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne Characterizing strong normalization in a language with control operators. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF functional programming, continuations, classical logic, intersection type
27Jonathan Moody Logical Mobility and Locality Types. Search on Bibsonomy LOPSTR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27J. B. Wells, Boris Yakobowski Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis. Search on Bibsonomy LOPSTR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Claudio Sacerdoti Coen Mathematical Libraries as Proof Assistant Environments. Search on Bibsonomy MKM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Jean-Marc Andreoli, Laurent Mazaré Concurrent Construction of Proof-Nets. Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27David Delahaye Free-Style Theorem Proving. Search on Bibsonomy TPHOLs The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Jesse Alt, Sergei N. Artëmov Reflective lambda-Calculus. Search on Bibsonomy Proof Theory in Computer Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Ralph Matthes Interpolation for Natural Deduction with Generalized Eliminations. Search on Bibsonomy Proof Theory in Computer Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Olivier Danvy Many Happy Returns. Search on Bibsonomy TLCA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Shin-ya Katsumata, Atsushi Ohori Proof-Directed De-compilation of Low-Level Code. Search on Bibsonomy ESOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Ralph Matthes Monotone Inductive and Coinductive Constructors of Rank 2. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Pierre-Louis Curien Abstract Machines, Control, and Sequents. Search on Bibsonomy APPSEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 112 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license