Map theory

Please expand.

References

See Klaus Grue's website.

Grue, Klaus. “Map Theory.” Theoretical Computer Science 102, no. 1 (1992): 1–133. https://doi.org/10.1016/0304-3975(92)90296-R.

@article{grue_1992,
	title = {Map theory},
	volume = {102},
	doi = {10.1016/0304-3975(92)90296-R},
	pages = {1--133},
	number = {1},
	journaltitle = {Theoretical Computer Science},
	author = {Grue, Klaus},
	date = {1992},
}

Berline, Chantal, and Klaus Grue. “A κ-Denotational Semantics for Map Theory in ZFC + SI.” Theoretical Computer Science 179, no. 1–2 (1997): 137–202. https://doi.org/10.1016/S0304-3975(96)00302-7.

@article{berline__1997,
	title = {A $\kappa$-denotational semantics for map theory in {ZFC} + {SI}},
	volume = {179},
	doi = {10.1016/S0304-3975(96)00302-7},
	pages = {137--202},
	number = {1},
	journaltitle = {Theoretical Computer Science},
	author = {Berline, Chantal and Grue, Klaus},
	date = {1997}
}

Grue, Klaus. “λ-Calculus as a Foundation for Mathematics.” In Logic, Meaning and Computation: Essays in Memory of Alonzo Church, edited by C. Anthony Anderson and Michael Zelëny, 287–311. Dordrecht: Springer Netherlands, 2001. https://doi.org/10.1007/978-94-010-0526-5_13.

@incollection{grue_2001,
	location = {Dordrecht},
	title = {λ-Calculus as a Foundation for Mathematics},
	pages = {287--311},
	booktitle = {Logic, Meaning and Computation: Essays in Memory of Alonzo Church},
	publisher = {Springer Netherlands},
	author = {Grue, Klaus},
	editor = {Anderson, C. Anthony and Zel\"{e}ny, Michael},
	date = {2001},
	doi = {10.1007/978-94-010-0526-5_13}
}

Grue, Klaus. “A Gentle Introduction to Map Theory.” In New Approaches to Classes and Concepts. Studies in Logic 14. College Publications, 2008.

Berline, Chantal, and Klaus Grue. “A Synthetic Axiomatization of Map Theory.” Theoretical Computer Science 614 (2016): 1–62. https://doi.org/10.1016/j.tcs.2015.11.028.

@article{berline_2016,
	title = {A synthetic axiomatization of Map Theory},
	volume = {614},
	issn = {03043975},
	url = {https://linkinghub.elsevier.com/retrieve/pii/S0304397515011135},
	doi = {10.1016/j.tcs.2015.11.028},
	pages = {1--62},
	journaltitle = {Theoretical Computer Science},
	author = {Berline, Chantal and Grue, Klaus},
	date = {2016}
}