Language: English

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Jacobs, Bart.

Overview

Works:	2 works in 1 publications in 1 languages

Titles

Categorical logic and type theory by: Jacobs, Bart. (Electronic resources)

Subjects

Typentheorie. Type theory. Wiskundige logica. Categories (Mathematics) Types, Th�eorie des. Cat�egories (Math�ematiques)

Change password

Login