Graph explorer

Research map

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

Andrew Polonsky
Map detail
Andrew Polonsky8 visible / 8 total nodes / 7 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAndrew PolonskyAAndrew PolonskyResearcherExtensionality of lambda-*WExtensionality of lambda-*preprint / 2014Internalization of extensional equalityWInternalization of exte...preprint / 2015ThermoPore: Predicting Part Porosity Based on Thermal Images Using Deep LearningWThermoPore: Predicting ...preprint / 2024A Coinductive Treatment of Infinitary RewritingWA Coinductive Treatment...preprint / 2014A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version)WA Coinductive Framework...preprint / 2015Discriminating Lambda-Terms Using Clocked Boehm TreesWDiscriminating Lambda-T...preprint / 2014An Introduction to the Clocked Lambda CalculusWAn Introduction to the ...preprint / 2014
Person7 links

Andrew Polonsky

Researcher