editoReviews
Sort By:
[Qualifier] Academic
This text implements Kosta Dosen’s functorial programming. This closes the open problem of implementing a dependent-types computer for category the...
Free