Graph explorer

Research map

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

Extensionality of lambda-*
Map detail
Extensionality of lambda-*3 visible / 3 total nodes / 2 links

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

AuthorshipTopic signalExtensionality of lambda-*WExtensionality of lambda-*preprint / 2014Andrew PolonskyAAndrew PolonskyResearcherLogic in Computer ScienceTLogic in Computer Science2208 works
Paper2 links

Extensionality of lambda-*

preprint / 2014