Jan Smith
Jan Smith
Datavetenskap
jan dot smith at chalmers dot se
+46 31 772 10 34, +46 31 772 10 34

Professor of Computing Science at the Department of Computer Science and Engineering

Dean, IT Faculty, University of Gothenburg

Manager, IT University Network



Link to personal page
Publikationer 2003

Coquand, Thierry; Sambin, G.; Smith, Jan; Valentini, S.: Inductively generated formal topologies. Annals of Pure and Applied Logic, 124 (1-3) pp. 71–106.

2000

Nordström, Bengt; Petersson, Kent; Smith, Jan: Martin-Löf's Type Theory. Handbook of Logic in Computer Science, 5

1990

Nordström, Bengt; Petersson, Kent; Smith, Jan: Programming in Martin-Löf's Type Theory. Göteborg : Chalmers University of Technology.

Uppdaterad: 27 februari 2013

 SÖK


DATA- OCH INFORMATIONSTEKNIK - Chalmers tekniska högskola och Göteborgs universitet - 412 96 Göteborg
Telefon: 031-772 1000