John Staples

From MaRDI portal
Person:911772

Available identifiers

zbMath Open staples.johnMaRDI QIDQ911772

List of research outcomes





PublicationDate of PublicationType
A functional logic for higher level reasoning about computation1994-12-01Paper
Formalizing a Hierarchical Structure of Practical Mathematical Reasoning1993-12-06Paper
An extensional fixed-point semantics for nondeterministic data flow1992-06-28Paper
Structure sharing for quantified terms: Fundamentals1990-01-01Paper
Efficient unification of quantified terms1988-01-01Paper
Delaying unification algorithms for lambda calculi1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37804881987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36730981983-01-01Paper
The maximum flow problem is log space complete for P1982-01-01Paper
On optimal trees1981-01-01Paper
Efficient Combinatory Reduction1981-01-01Paper
Computation on graph-like expressions1980-01-01Paper
Optimal evaluations of graph-like expressions1980-01-01Paper
Speeding up subtree replacement systems1980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41920361979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41790021979-01-01Paper
Truth in constructive metamathematics1978-01-01Paper
A class of replacement systems with simple optimality theory1977-01-01Paper
Optimal reduction in replacement systems1977-01-01Paper
Fixed point theorems in uniformly rotund metric spaces1976-01-01Paper
Asymptotic centres of filters on uniformly rotund spaces1976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40634161975-01-01Paper
Combinator realizability of a constructive Morse set theory1974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32148891973-01-01Paper
Axioms for constructive fields1973-01-01Paper
On Constructive Fields1971-01-01Paper
A Non-Standard Representatiion of Boolean Algebras, and Applications1969-01-01Paper

Research outcomes over time

This page was built for person: John Staples