1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Reuben N. S. Rowe
Jay and Given-Wilson have recently introduced the Factorisation (or SF-) calculus as a minimal fundamental model of intensional computation. It is a combinatory calculus containing…