Introduction to higher order categorical logic

समान संसाधन

• Introduction to higher order categorical logic /
  द्वारा: Lambek, J.
  प्रकाशित: (1994)
• Categorical Donaldson-Thomas Theory for Local Surfaces
  द्वारा: Toda, Yukinobu
  प्रकाशित: (2024)
• Categorial grammars/
  द्वारा: Wood, Mary McGee
  प्रकाशित: (1993)
• A First Course in Category Theory
  द्वारा: Agore, Ana
  प्रकाशित: (2023)
• Higher Structures and Operadic Calculus
  प्रकाशित: (2025)