The Omega Rule Is Π11-Complete in the Λβ-Calculus

Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-5(2:6)2009
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Logical Methods in Computer Science e.V.

Related search

Rule Calculus: Semantics, Axioms and Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

A New Elimination Rule for the Calculus of Inductive Constructions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Shorter Notes: A Variant of the Chain Rule for Differential Calculus

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1981English

The Propositional Mu-Calculus Is Elementary

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1984English

A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics

2018English

The Rule of the Artery Is Supreme. Or, Is It?

Journal of the American Osteopathic Association, The
MedicineAlternative MedicineComplementary
2018English

The Rule in Foss v Harbottle Is Dead; Long Live the Rule in Foss v Harbottle

SSRN Electronic Journal
2013English

Is Digestive Cathepsin D the Rule in Decapod Crustaceans?

Comparative Biochemistry and Physiology - B Biochemistry and Molecular Biology
Molecular BiologyBiochemistryAnimal ScienceAquatic ScienceZoologyPhysiology
2018English

A Single Complete Refinement Rule for Z

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy