Sökning: "Gilles Dowek"
Hittade 1 avhandling innehållade orden Gilles Dowek.
1. Partiality and Choice : Foundational Contributions
Sammanfattning : The subject of the thesis is foundational aspects of partial functions (Papers 1, 2 & 4) and some choice principles (Papers 3 & 4) in the context of constructive mathematics.Paper 1 studies the inversion functions of commutative rings. The foundational problem of having them only partially defined is overcome by extending them to total functions. LÄS MER
Resultatsidor:
1