Andrew Pitts

发表

Implementing an algorithm for detecting paragraph division in narrative Greek discourse using the OpenText.org database

Andrew Pitts, Sean A. Adams, 2007 .

Agda code accompanying "Typal Heterogeneous Equality Types" (updated)

Andrew Pitts, 2020 .

IP Address Data and its Place in the Library Community Today and in the Future

Andrew Pitts, Justin R. Spence, Ian Hames, 2017 .

Agda code accompanying "Typal Heterogeneous Equality Types"

Andrew Pitts, 2020 .

Foundations of Software Science and Computation Structures : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Andrew Pitts, 2015 .

ACS Publications : New Pricing Model Update

Andrew Pitts, Adam Chesler, 2006 .

Computation Theory

Andrew Pitts, A. Pitts, 1985, Lecture Notes in Computer Science.

A PSEUDO REPRESENTATION THEOREM FOR VARIOUS CATEGORIES OF RELATIONS

Michael Winter, Andrew Pitts, A. Pitts, 2000 .