, Volume 8, Issue 4, pp 473-476

Basic Simple Type Theory, J. Roger Hindley

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access