Manfred E. Szabo

Available identifiers

zbMath Open szabo.manfred-egonMaRDI QIDQ2265424

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4281698	1996-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q4029608	1993-03-28	Paper
Coherence in Cartesian closed categories and the generality of proofs	1989-01-01	Paper
Nonstandard methods in combinatorics and theoretical computer science	1989-01-01	Paper
A probabilistic analysis of loop programs	1989-01-01	Paper
On the programs-as-formulas interpretation of parallel programs in Peano arithmetic	1988-01-01	Paper
A cut elimination theorem for stationary logic	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3744163	1986-01-01	Paper
"On the plausibility of nonstandard proofs in analysis"	1984-01-01	Paper
VARIABLE TRUTH	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3731604	1984-01-01	Paper
Monadic Properties of Uniformities	1983-01-01	Paper
THE CONTINUOUS REALIZABILITY OF ENTAILMENT	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3327708	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4744268	1983-01-01	Paper
Categorical De Morgan laws	1981-01-01	Paper
Algebra of proofs	1978-01-01	Paper
The logic of closed categories	1977-01-01	Paper
An addendum to my paper 'A categorical equivalence of proofs'	1976-01-01	Paper
Quantifier-complete categories	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4071733	1976-01-01	Paper
A Counter-Example to Coherence in Cartesian Closed Categories	1975-01-01	Paper
Polycategories	1975-01-01	Paper
A categorical characterization of Boolean algebras	1974-01-01	Paper
A categorical equivalence of proofs	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5631086	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5610986	1969-01-01	Paper

Research outcomes over time

This page was built for person: Manfred E. Szabo