Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Reflexive combinatory algebras
Map detail
Reflexive combinatory algebras6 visible / 6 total nodes / 5 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipTopic signalTopic signalReflexive combinatory algebrasWReflexive combinatory algebraspreprint / 2022Marlou M. GijzenAMarlou M. GijzenResearcherHajime IshiharaAHajime IshiharaResearcherTatsuji KawaiATatsuji KawaiResearcherLogic in Computer ScienceTLogic in Computer Science2208 worksmath.LOTmath.LO1661 works
Paper5 links

Reflexive combinatory algebras

preprint / 2022