Events at The University of Manchester
  • University home
  • Events
  • Home
  • Exhibitions
  • Conferences
  • Lectures and seminars
  • Performances
  • Events for prospective students
  • Sustainability events
  • Family events
  • All Events

Logic Seminar - Thorsten Altenkirch

Dates:22 October 2025
Times:15:00 - 16:00
What is it:Seminar
Organiser:Department of Mathematics
Who is it for:University staff, External researchers, Current University students
See travel and contact information
Add to your calendar

More information

  • Department of Mathematics

Other events

  • In category "Seminar"
  • In group "(Maths) Logic"
  • In group "(Maths) Maths seminar series"
  • By Department of Mathematics

Speaker: Thorsten Altenkirch (University of Nottingham)

How to Define Type Theories?

Traditionally, type theories have been defined extrinsically—by sorting untyped terms. In this talk, I will present the intrinsic approach, where we never introduce untyped objects. This can be implemented using Quotient Inductive–Inductive Types (QIITs), allowing us to establish fundamental results such as normalisation within the same framework. In this setting, the so-called initiality theorem becomes immediate: the syntax of type theory is by definition an initial algebra. This leads to some interesting questions. The usual syntax is set-based, but how can we even define the standard model interpreting types as sets? I will sketch how to address this coherence problem. Another topic is how to eliminate much of the boilerplate in traditional presentations. Ambrus Kaposi has proposed the use of SOGATs (second-order algebraic theories), which can be seen as a principled revival of higher-order abstract syntax. These ideas also yield very concise definitions of well-known systems, such as first-order predicate logic. This talk is based on joint work with several collaborators, most notably Ambrus Kaposi.

Travel and Contact Information

Find event

Frank Adams 1
Alan Turing Building
Manchester

Contact event

Philip Dittmann

philip.dittmann@manchester.ac.uk

Contact us

  • +44 (0) 161 306 6000

Find us

The University of Manchester
Oxford Rd
Manchester
M13 9PL
UK

Connect with the University

  • Facebook page for The University of Manchester
  • X (formerly Twitter) page for The University of Manchester
  • YouTube page for The University of Manchester
  • Instagram page for The University of Manchester
  • TikTok page for The University of Manchester
  • LinkedIn page for The University of Manchester

  • Privacy /
  • Copyright notice /
  • Accessibility /
  • Freedom of information /
  • Charitable status /
  • Royal Charter Number: RC000797
  • Close menu
  • Home
    • Featured events
    • Today's events
    • The Whitworth events
    • Manchester Museum events
    • Jodrell Bank Discovery Centre events
    • Martin Harris Centre events
    • The John Rylands Library events
    • Exhibitions
    • Conferences
    • Lectures and seminars
    • Performances
    • Events for prospective students
    • Sustainability events
    • Family events
    • All events