| Publication | Date of Publication | Type |
|---|
Simultaneous substitution in the typed lambda calculus Lecture Notes in Computer Science | 2023-08-16 | Paper |
Initial algebra semantics for lambda calculi Lecture Notes in Computer Science | 2023-04-12 | Paper |
Semantics of the typed \(\lambda\)-calculus with substitution in a cartesian closed category Journal of Pure and Applied Algebra | 1993-10-19 | Paper |
| scientific article; zbMATH DE number 30668 (Why is no real title available?) | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 19485 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 19052 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4128423 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4059656 (Why is no real title available?) | 1988-01-01 | Paper |
Categorical aspects of data type constructors Theoretical Computer Science | 1987-01-01 | Paper |
Intrinsic linear programming Advances in Applied Mathematics | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3859371 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3840200 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3785136 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3753071 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3753071 (Why is no real title available?) | 1981-01-01 | Paper |
Closed categories, lax limits and homotopy limits Journal of Pure and Applied Algebra | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3728467 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3728467 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3680757 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3606644 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3547504 (Why is no real title available?) | 1976-01-01 | Paper |
Formal category theory: Adjointness for 2-categories Lecture Notes in Mathematics | 1974-01-01 | Paper |
Quasi-Kan extensions for 2-categories Bulletin of the American Mathematical Society | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3351864 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3396144 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3334211 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3305157 (Why is no real title available?) | 1966-01-01 | Paper |
Sheaves with values in a category Topology | 1965-01-01 | Paper |
Category-valued sheaves Bulletin of the American Mathematical Society | 1962-01-01 | Paper |
Extensions of sheaves of algebras Illinois Journal of Mathematics | 1961-01-01 | Paper |
Extensions of sheaves of associative algebras by nontrivial kernels Pacific Journal of Mathematics | 1961-01-01 | Paper |
Some global properties of contact structures Annals of Mathematics. Second Series | 1959-01-01 | Paper |