Content deleted Content added
→First Kleene algebra: Add link Tags: Mobile edit Mobile web edit |
Citation bot (talk | contribs) Added website. | Use this bot. Report bugs. | Suggested by Abductive | Category:Articles with empty sections from February 2025 | #UCB_Category 110/255 |
||
Line 77:
<references>
<ref name=van-oosten>{{ cite book | title = Realizability: an introduction to its categorical side | author = Jaap van Oosten | isbn = 9780444515841 | year = 2008 | publisher = Elsevier Science | pages = 328 }}</ref>
<ref name=bauer>{{ cite web | title = Notes on realizability | author = Andrej Bauer | website = [[GitHub]] | url = https://github.com/andrejbauer/notes-on-realizability/releases/download/release/notes-on-realizability.pdf | date = 2025-02-21 | access-date = 2025-02-21 }}</ref>
</references>
| |||