The applicative realm

Research output: Book/Report › Book

Original language	English
Place of Publication	Coimbra
Publisher	Departamento de Matemática, Universidade de Coimbra
Number of pages	175
Volume	40
ISBN (Print)	978-972-8564-44-5
Publication status	Published - Jul 2007

Name	Textos de Matemática
Publisher	Departamento de Matemática da Universidade de Coimbra
Volume	40

Keywords

@book{5998126b37a246daad3f5db1c289bbbf,

title = "The applicative realm",

keywords = "applicative theories, Explicit mathematics",

author = "Reinhard Kahle",

year = "2007",

month = jul,

language = "English",

isbn = "978-972-8564-44-5",

volume = "40",

series = "Textos de Matem{\'a}tica",

publisher = "Departamento de Matem{\'a}tica, Universidade de Coimbra",

}