Period
1999 - 2004
Number
2
Co-Authors
order (2004)
Marek Zaionc, R. Statman
definability is decidable for regular forth
Applications of Plotkin-terms: partitions and morphisms for closed terms (1999)
Barendregt, H.P., Statman, R.