Abstract Specifications via Realizability

Cached

Download Links

by Andrej Bauer
Citations:1 - 1 self