Working Group Operations, Sets, and Types

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.
 

Learning Outcomes: 

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.
 

Type: 
Course
Semester: 
A2018
ECTS: 
5
Tracks: 
Site: 
B
Code: 
41087
Language: 
english
Period: 
weekly
Schedule: 
Wednesday: 10:15 - 12:00
Location: 
UniBE, ExWi
Room: 
B116
Comment: 

First Lecture
The first lecture will take place on Wednesday, 19.09.2018 at 10:15 in UniBE, ExWi, room B116.

ILIAS
The course page in ILIAS can be found at https://ilias.unibe.ch/goto_ilias3_unibe_crs_1340260.html.