Skip to main navigation Skip to search Skip to main content

Functors in Theorema

Activity: Talk or presentation › Invited talk › science-to-science

Period30 Mar 2008
Event titleACCAT (Workshop Applied and Computational Category Theory) at ETAPS (European Joint Conferences on Theory and Practice of Software), 2008
Event typeConference
LocationHungaryShow on map

Fields of science

  • 101013 Mathematical logic
  • 101001 Algebra
  • 101012 Combinatorics
  • 101020 Technical mathematics
  • 101 Mathematics
  • 101009 Geometry
  • 101005 Computer algebra

JKU Focus areas

  • Computation in Informatics and Mathematics