SecondOrder Universal Algebra, Equational Logic, and Algebraic Theories.
Add to your list(s)
Download to your calendar using vCal
If you have a question about this talk, please contact Nathan Bowler.
I’ll talk about the following preprints:
 M. Fiore and C.K. Hur. SecondOrder Equational Logic.
mpf23/soeqlog.pdf>
 M. Fiore and O. Mahmoud. SecondOrder Algebraic Theories.
mpf23/soalgth.pdf>
This talk is part of the Category Theory Seminar series.
This talk is included in these lists:
Note that exdirectory lists are not shown.
