John Staples

Available identifiers

zbMath Open staples.johnMaRDI QIDQ911772

List of research outcomes

Publication	Date of Publication	Type
A functional logic for higher level reasoning about computation	1994-12-01	Paper
Formalizing a Hierarchical Structure of Practical Mathematical Reasoning	1993-12-06	Paper
An extensional fixed-point semantics for nondeterministic data flow	1992-06-28	Paper
Structure sharing for quantified terms: Fundamentals	1990-01-01	Paper
Delaying unification algorithms for lambda calculi	1988-01-01	Paper
Efficient unification of quantified terms	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3780488	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3673098	1983-01-01	Paper
The maximum flow problem is log space complete for P	1982-01-01	Paper
Efficient Combinatory Reduction	1981-01-01	Paper
On optimal trees	1981-01-01	Paper
Computation on graph-like expressions	1980-01-01	Paper
Optimal evaluations of graph-like expressions	1980-01-01	Paper
Speeding up subtree replacement systems	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4179002	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4192036	1979-01-01	Paper
Truth in constructive metamathematics	1978-01-01	Paper
Optimal reduction in replacement systems	1977-01-01	Paper
A class of replacement systems with simple optimality theory	1977-01-01	Paper
Fixed point theorems in uniformly rotund metric spaces	1976-01-01	Paper
Asymptotic centres of filters on uniformly rotund spaces	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4063416	1975-01-01	Paper
Combinator realizability of a constructive Morse set theory	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3214889	1973-01-01	Paper
Axioms for constructive fields	1973-01-01	Paper
On Constructive Fields	1971-01-01	Paper
A Non-Standard Representatiion of Boolean Algebras, and Applications	1969-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: John Staples