The following pages link to Manfred E. Szabo (Q2265424):
Displaying 28 items.
- (Q750441) (redirect page) (← links)
- Coherence in Cartesian closed categories and the generality of proofs (Q750442) (← links)
- Algebra of proofs (Q788719) (← links)
- A cut elimination theorem for stationary logic (Q1095904) (← links)
- On the programs-as-formulas interpretation of parallel programs in Peano arithmetic (Q1100878) (← links)
- Nonstandard methods in combinatorics and theoretical computer science (Q1118589) (← links)
- Categorical De Morgan laws (Q1164129) (← links)
- A categorical characterization of Boolean algebras (Q1214451) (← links)
- An addendum to my paper 'A categorical equivalence of proofs' (Q1222157) (← links)
- Quantifier-complete categories (Q1238805) (← links)
- A categorical equivalence of proofs (Q2265425) (← links)
- The logic of closed categories (Q2559365) (← links)
- "On the plausibility of nonstandard proofs in analysis" (Q3220584) (← links)
- Monadic Properties of Uniformities (Q3312912) (← links)
- VARIABLE TRUTH (Q3317087) (← links)
- THE CONTINUOUS REALIZABILITY OF ENTAILMENT (Q3323924) (← links)
- (Q3327708) (← links)
- (Q3731604) (← links)
- (Q3744163) (← links)
- A probabilistic analysis of loop programs (Q3833599) (← links)
- (Q4029608) (← links)
- (Q4071733) (← links)
- A Counter-Example to Coherence in Cartesian Closed Categories (Q4097072) (← links)
- Polycategories (Q4123497) (← links)
- (Q4281698) (← links)
- (Q4744268) (← links)
- (Q5610986) (← links)
- (Q5631086) (← links)
