Book chapter
Infinite-Valued Propositional Type Theory for Semantics
Language: | English |
---|---|
Publisher: | UNICAMP |
Year: | 2009 |
Pages: | 277-297 |
Series: | Coleção Cle |
ISBN: | 8586497053 and 9788586497056 |
Types: | Book chapter |
ORCIDs: | Villadsen, Jørgen |
DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Book chapter
Language: | English |
---|---|
Publisher: | UNICAMP |
Year: | 2009 |
Pages: | 277-297 |
Series: | Coleção Cle |
ISBN: | 8586497053 and 9788586497056 |
Types: | Book chapter |
ORCIDs: | Villadsen, Jørgen |
Analysis