X.R.S: Explicit Reduction Systems - A First-Order Calculus for Higher-Order Calculi

Authors:
Bruno Pagano
Affiliations:
-
Venue:
CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
Year:
1998

Citing 0
Cited 3

Binding Logic: Proofs and Models

LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
A ρ-calculus of explicit constraint application

Higher-Order and Symbolic Computation
A finite first-order presentation of set theory

TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs

Quantified Score

Hi-index	0.00

Visualization

Abstract