Revision as of 17:36, 25 February 2025 edit Jean Abou Samra (talk \| contribs) 354 edits TODO example sections ← Previous edit		Revision as of 17:37, 25 February 2025 edit undo Jean Abou Samra (talk \| contribs) 354 edits Add Andrej Bauer's notes as reference Next edit →
Line 75: {{refbegin}} * {{ cite book \| title = Realizability: an introduction to its categorical side \| author = Jaap van Oosten \| isbn = 9780444515841 \| year = 2008 \| publisher = Elsevier Science \| pages = 328 }} * {{ cite web \| title = Notes on realizability \| author = Andrej Bauer \| url = https://github.com/andrejbauer/notes-on-realizability/releases/download/release/notes-on-realizability.pdf \| date = 2025-02-21 \| access-date = 2025-02-21 }} {{refend}}

Partial combinatory algebra: Difference between revisions