2 search results - page 1 / 1 » Markov's Principle for Propositional Type Theory |
CSL
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. In this paper we show how to extend a constructive type theory with a principle that captures the spirit of Markov’s principle from constructive recursive mathematics. ...
KDD
2004
ACM
14 years 5 months ago
2004
ACM
There is a notable interest in extending probabilistic generative modeling principles to accommodate for more complex structured data types. In this paper we develop a generative ...