Back to Results
First PageMeta Content
Functional analysis / Operator theory / Computability theory / Representation theory of Lie groups / Mathematics / Spectral theory / Spectral theory of ordinary differential equations / Adjoint functors


Isomorphisms in the presence of sum and function types Axioms and decidability Danko ILIK Parsifal, Inria
Add to Reading List

Document Date: 2014-04-14 11:22:28


Open Document

File Size: 219,42 KB

Share Result on Facebook