Mark Lemay

icon indicating an email [email protected]

icon location Boston icon location Interested in Dependent types, functional programming, and automated theorem proving.

Results 11 comments of Mark Lemay

Add references

~~https://www.sciencedirect.com/science/article/pii/S0890540185710577 should probably be cited in the confluence section.~~ never mind I'm bad at reading