Infinite-Valued Propositional Type Theory for Semantics

Jørgen Villadsen

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

Originalsprog	Engelsk
Titel	Handbook of the First World Congress and School on Universal Logic
Redaktører	Jean-Yves Beziau, Alexandre Costa-Leite
Publikationsdato	2005
Sider	102
Status	Udgivet - 2005
Begivenhed	1st World Congress and School on Universal Logic - UNILOG'05 - Montreaux, Schweiz Varighed: 26 mar. 2005 → 3 apr. 2005 Konferencens nummer: 1

Konference	1st World Congress and School on Universal Logic - UNILOG'05
Nummer	1
Land/Område	Schweiz
By	Montreaux
Periode	26/03/2005 → 03/04/2005

Link til dokument

@inproceedings{f9b273c052bd11dba4bc000ea68e967b,

title = "Infinite-Valued Propositional Type Theory for Semantics",

author = "J{\o}rgen Villadsen",

year = "2005",

language = "English",

pages = "102",

editor = "Jean-Yves Beziau and Alexandre Costa-Leite",

booktitle = "Handbook of the First World Congress and School on Universal Logic",

note = "null ; Conference date: 26-03-2005 Through 03-04-2005",

}