Working Group "Operations, Sets, and Types" (WGOST)

Lecture number: 422738-HS2017-0
ECTS: 5
Start: 2017-09-20
End: 2017-12-20
Venue: Hörraum A097, ExWi, Sidlerstrasse 5
Lectures take place on:
  • Wednesday from 15:15 to 18:00

Description:

In this working group we discuss a series of topics that are closely related to actual research done in connection with the project "The Operational Paradigm: its Mathematical and Philosophical Frontiers".

So-called operational theories provide a conceptual framework for all sorts of abstract computations and type systems as they are used today in the discussion of the foundations of mathematics and computer science. They are closely related to forms of the (typed and untyped) lambda calculus and partial combinatory algebras.

In this semester the focus of our working group will be on type theory and explicit mathematics and the interaction between these conceptual frameworks.

KSL-Link: https://www.ksl.unibe.ch/KSL/kurzansicht?...

Remarks:

This course introduces into a research area that is actively pursued in our research group. Upon successful completion of this course, the students will have a good basis for doing own research along the lines of our project.

Requirements:

Good and solid knowledge in mathematical logic and type theory.

References:

To be announced during the lecture.