Fedor
/
Nederlandse-Bibliografie-Totaal-NBT
/
Login
Register
Netwerk Digitaal Erfgoed
Nederlandse Bibliografie Totaal (NBT)
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
Graphs
1
Services
2
p145715361
p145715361
http://data.bibliotheken.nl/id/thes/p145715361
A simple abstract semantics for equational theories / G. Barthe
Formalising mathematics in UTT : fundamentals and case studies / G. Barthe
Strong normalisation of quotient and subset types in higher order logic / G. Barthe
author
p145715361
http://data.bibliotheken.nl/id/thes/p145715361