Book Chapter10.1007/978-3-642-29822-6_23

Computing in Cantor’s Paradise with λ ZFC

Neil Toronto,Jay McCarthy-2012-01-01-Lecture notes in computer science

2

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Computer scienceComputable functionLambda calculusDiscrete mathematicsSet theoryMonad (category theory)MathematicsAlgebra over a field

Chat

Click to start Chat