Simply Typed Fixpoint Calculus and Collapsible Pushdown Automata

Mathematical Structures in Computer Science - United Kingdom
doi 10.1017/s0960129514000590
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Collapsible Pushdown Automata and Recursion Schemes

Proceedings - Symposium on Logic in Computer Science
MathematicsSoftware
2008English

Simply Typed Λ-Calculus

1993English

Proof Systems for Retracts in Simply Typed Lambda Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed Λ-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

From Security Protocols to Pushdown Automata

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2015English

A Typed Lambda Calculus of Objects

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

The Quotient Operation on Input-Driven Pushdown Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Hazelnut: A Bidirectionally Typed Structure Editor Calculus

2017English

Deciding Probabilistic Simulation Between Probabilistic Pushdown Automata and Finite-State Systems

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy