Implicit and noncomputational arguments using monads (2005)

by Pierre Letouzey , Bas Spitters
Citations:2 - 1 self