Jan Smith

Professor vid Chalmers, Data- och informationsteknik, Datavetenskap

Link to personal page

Källa: chalmers.se

Visar 6 publikationer

2012

Evolution and Logic

Jan Smith
P. Dybjer et al. (eds.), Epistemology versus Ontology. Logic, Epistemology, and the Unity of Science 27. Springer Science+Business Media Dordrecht 2012, p. 129-138
Kapitel i bok
2003

Inductively generated formal topologies

Thierry Coquand, G. Sambin, Jan Smith et al
Annals of Pure and Applied Logic. Vol. 124 (1-3), p. 71-106
Artikel i vetenskaplig tidskrift
2000

Martin-Löf's Type Theory

Bengt Nordström, Kent Petersson, Jan Smith
Handbook of Logic in Computer Science. Vol. 5
Kapitel i bok
1990

Programming in Martin-Löf's Type Theory

Bengt Nordström, Kent Petersson, Jan Smith
Bok

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Jan Smith medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.