Showing 1 - 20 results of 305 for search '"f.4.1"', query time: 2.42s Refine Results
  1. 1
    Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative

    Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative by Kristian Stoevring

    Published 2006-03-01
    Subjects:
    Get full text
    Article
  2. 2
    On Constructor Rewrite Systems and the Lambda Calculus

    On Constructor Rewrite Systems and the Lambda Calculus by Ugo Dal Lago, Simone Martini

    Published 2012-08-01
    Subjects:
    Get full text
    Article
  3. 3
    Comparing hierarchies of total functionals

    Comparing hierarchies of total functionals by Dag Normann

    Published 2005-10-01
    Subjects:
    Get full text
    Article
  4. 4
    No solvable lambda-value term left behind

    No solvable lambda-value term left behind by Á. García-Pérez, P. Nogueira

    Published 2016-06-01
    Subjects:
    Get full text
    Article
  5. 5
    Classical BI: Its Semantics and Proof Theory

    Classical BI: Its Semantics and Proof Theory by James Brotherston, Cristiano Calcagno

    Published 2010-07-01
    Subjects:
    Get full text
    Article
  6. 6
    Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion

    Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion by Thomas Ehrhard, Antonio Bucciarelli, Alberto Carraro, Giulio Manzonetto

    Published 2012-10-01
    Subjects:
    Get full text
    Article
  7. 7
    Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi

    Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi by Jose Espirito Santo, Ralph Matthes, Luis Pinto

    Published 2009-05-01
    Subjects:
    Get full text
    Article
  8. 8
    Intuitionistic Layered Graph Logic: Semantics and Proof Theory

    Intuitionistic Layered Graph Logic: Semantics and Proof Theory by Simon Docherty, David Pym

    Published 2018-10-01
    Subjects:
    Get full text
    Article
  9. 9
    Normalization of IZF with Replacement

    Normalization of IZF with Replacement by Wojciech Moczydlowski

    Published 2008-04-01
    Subjects:
    Get full text
    Article
  10. 10
    Study of Behaviours via Visitable Paths

    Study of Behaviours via Visitable Paths by Christophe Fouqueré, Myriam Quatrini

    Published 2018-05-01
    Subjects:
    Get full text
    Article
  11. 11
    On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics

    On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics by Rajeev Gore, Linda Postniece, Alwen F Tiu

    Published 2011-05-01
    Subjects:
    Get full text
    Article
  12. 12
    Qualitative Logics and Equivalences for Probabilistic Systems

    Qualitative Logics and Equivalences for Probabilistic Systems by Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay

    Published 2009-05-01
    Subjects:
    Get full text
    Article
  13. 13
    Model Checking Synchronized Products of Infinite Transition Systems

    Model Checking Synchronized Products of Infinite Transition Systems by Stefan Wöhrle, Wolfgang Thomas

    Published 2007-11-01
    Subjects:
    Get full text
    Article
  14. 14
    Canonical calculi with (n,k)-ary quantifiers

    Canonical calculi with (n,k)-ary quantifiers by Arnon Avron, Anna Zamansky

    Published 2008-08-01
    Subjects:
    Get full text
    Article
  15. 15
    On streams that are finitely red

    On streams that are finitely red by Marc Bezem, Keiko Nakata, Tarmo Uustalu

    Published 2012-10-01
    Subjects:
    Get full text
    Article
  16. 16
    Normalisation by Evaluation for Type Theory, in Type Theory

    Normalisation by Evaluation for Type Theory, in Type Theory by Thorsten Altenkirch, Ambrus Kaposi

    Published 2017-10-01
    Subjects:
    Get full text
    Article
  17. 17
    Two-Way Unary Temporal Logic over Trees

    Two-Way Unary Temporal Logic over Trees by Mikolaj Bojanczyk

    Published 2009-08-01
    Subjects:
    Get full text
    Article
  18. 18
    Successor-Invariant First-Order Logic on Classes of Bounded Degree

    Successor-Invariant First-Order Logic on Classes of Bounded Degree by Julien Grange

    Published 2021-08-01
    Subjects:
    Get full text
    Article
  19. 19
    A Finite-Model-Theoretic View on Propositional Proof Complexity

    A Finite-Model-Theoretic View on Propositional Proof Complexity by Erich Grädel, Martin Grohe, Benedikt Pago, Wied Pakusa

    Published 2022-06-01
    Subjects:
    Get full text
    Article
  20. 20
    Two-Variable Logic with Two Order Relations

    Two-Variable Logic with Two Order Relations by Thomas Schwentick, Thomas Zeume

    Published 2012-03-01
    Subjects:
    Get full text
    Article

Search Tools: