Person:2265424

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

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: Manfred E. Szabo