ctlc
ctlc copied to clipboard
mroman42
(λ) Category theory and lambda calculus, Bachelor's thesis
Results
1
ctlc issues
Sort by
recently updated
recently updated
newest added
Example 3.23 should swap around the composition of f p g to g p f. Also, the two components of the bifunctor should be in the reverse order. Sorry, I'm...
