University of Cambridge > Talks.cam > Category Theory Seminar > Second-Order Universal Algebra, Equational Logic, and Algebraic Theories.

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

Second-Order 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. Second-Order Equational Logic. mpf23/soeqlog.pdf>

- M. Fiore and O. Mahmoud. Second-Order Algebraic Theories. mpf23/soalgth.pdf>

This talk is part of the Category Theory Seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Imagine2027 Machine Intelligence Laboratory Speech Seminars History talk about Napoleon III

Other talks

I And You: Documentary As Encounter Optimising fresh produce quality monitoring and analysis Women's Staff Network: Career Conversations How India Became Democratic: Comparative Perspectives (Panel discussion led by Gary Gerstle and Tim Harper) Large Scale Ubiquitous Data Sources for Crime Prediction Statistical Methods in Pre- and Clinical Drug Development: Tumour Growth-Inhibition Model Example Computing High Resolution Health(care) Stereodivergent Catalysis, Strategies and Tactics Towards Secondary Metabolites as enabling tools for the Study of Natural Products Biology Cambridge - Corporate Finance Theory Symposium September 2017 - Day 2 Modelling seasonal acceleration of land terminating sectors of the Greenland Ice Sheet margin
 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity