Sign In

Login

Password

Forgot Password ? Sign Up

Cartesian closed category (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Cartesian closed category" in English language version.

refsWebsite
Global rank English rank
4doi.org
2nd place
2nd place
2semanticscholar.org
11th place
8th place
2ncatlab.org
low place
8,775th place
1ucr.edu
1,553rd place
1,008th place
1arxiv.org
69th place
59th place
1psu.edu
207th place
136th place
1worldcat.org
5th place
5th place
1mathoverflow.net
low place
low place
1core.ac.uk
1,734th place
1,312th place

arxiv.org

  • Baez, John C.; Stay, Mike (2011). "Physics, Topology, Logic and Computation: A Rosetta Stone" (PDF). In Coecke, Bob (ed.). New Structures for Physics. Lecture Notes in Physics. Vol. 813. Springer. pp. 95–174. arXiv:0903.0340. CiteSeerX 10.1.1.296.1044. doi:10.1007/978-3-642-12821-9_2. ISBN 978-3-642-12821-9. S2CID 115169297.

core.ac.uk

doi.org

  • Baez, John C.; Stay, Mike (2011). "Physics, Topology, Logic and Computation: A Rosetta Stone" (PDF). In Coecke, Bob (ed.). New Structures for Physics. Lecture Notes in Physics. Vol. 813. Springer. pp. 95–174. arXiv:0903.0340. CiteSeerX 10.1.1.296.1044. doi:10.1007/978-3-642-12821-9_2. ISBN 978-3-642-12821-9. S2CID 115169297.
  • Backus, John (1981). "Function level programs as mathematical objects". Proceedings of the 1981 conference on Functional programming languages and computer architecture - FPCA '81. New York, New York, USA: ACM Press. pp. 1–10. doi:10.1145/800223.806757. ISBN 0-89791-060-5.
  • Solov'ev, S.V. (1983). "The category of finite sets and Cartesian closed categories". J Math Sci. 22 (3): 1387–1400. doi:10.1007/BF01084396. S2CID 122693163.
  • Fiore, M.; Cosmo, R. Di; Balat, V. (2006). "Remarks on isomorphisms in typed lambda calculi with empty and sum types" (PDF). Annals of Pure and Applied Logic. 141 (1–2): 35–50. doi:10.1016/j.apal.2005.09.001.

mathoverflow.net

ncatlab.org

psu.edu

citeseerx.ist.psu.edu

  • Baez, John C.; Stay, Mike (2011). "Physics, Topology, Logic and Computation: A Rosetta Stone" (PDF). In Coecke, Bob (ed.). New Structures for Physics. Lecture Notes in Physics. Vol. 813. Springer. pp. 95–174. arXiv:0903.0340. CiteSeerX 10.1.1.296.1044. doi:10.1007/978-3-642-12821-9_2. ISBN 978-3-642-12821-9. S2CID 115169297.

semanticscholar.org

api.semanticscholar.org

  • Baez, John C.; Stay, Mike (2011). "Physics, Topology, Logic and Computation: A Rosetta Stone" (PDF). In Coecke, Bob (ed.). New Structures for Physics. Lecture Notes in Physics. Vol. 813. Springer. pp. 95–174. arXiv:0903.0340. CiteSeerX 10.1.1.296.1044. doi:10.1007/978-3-642-12821-9_2. ISBN 978-3-642-12821-9. S2CID 115169297.
  • Solov'ev, S.V. (1983). "The category of finite sets and Cartesian closed categories". J Math Sci. 22 (3): 1387–1400. doi:10.1007/BF01084396. S2CID 122693163.

ucr.edu

math.ucr.edu

  • Baez, John C.; Stay, Mike (2011). "Physics, Topology, Logic and Computation: A Rosetta Stone" (PDF). In Coecke, Bob (ed.). New Structures for Physics. Lecture Notes in Physics. Vol. 813. Springer. pp. 95–174. arXiv:0903.0340. CiteSeerX 10.1.1.296.1044. doi:10.1007/978-3-642-12821-9_2. ISBN 978-3-642-12821-9. S2CID 115169297.

worldcat.org

search.worldcat.org