Algebra-valued models of type theory

• Grant number: 24/03120-1
• Support Opportunities: Scholarships in Brazil - Generation Project
• Start date: June 01, 2024
• End date: February 29, 2028
• Field of knowledge: Humanities - Philosophy - Logic
• Principal Investigator: Daniel Santiago Jockwich Martinez
• Grantee: Daniel Santiago Jockwich Martinez
• Host Institution: Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil
• Associated research grant: 22/06486-1 - Unifying universes: a new take on NF, AP.GR