Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Band 7)
Ein fundiertes Werk über höhere kategoriale Logik, das komplexe Strukturen wie Funktoren, Natürliche Transformationen und Typentheorie elegant erkl ...