Some notes on recursive domain equations. Handwritten notes for the Domain Theory PG Course (1991)

by G D Plotkin