editoReviews
Sort By:
Featured editoReviews
Show all
[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
[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