Author Search Results :: UTM Library Massive Scholar Tracking

1

Fixed point combinators as fixed points of higher-order fixed point generators by Andrew Polonsky

Published 2020-07-01

Get full text

Article
2

On sets of terms having a given intersection type by Andrew Polonsky, Richard Statman

Published 2022-09-01

Get full text

Article
3

$Degrees of extensionality in the theory of B\"ohm trees and Sall\'e's conjecture$

Degrees of extensionality in the theory of B\"ohm trees and Sall\'e's conjecture by Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky

Published 2019-01-01

Get full text

Article
4

Discriminating Lambda-Terms Using Clocked Boehm Trees by Joerg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky

Published 2014-05-01

Get full text

Article
5

Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic by Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva

Published 2018-01-01

Get full text

Article