computations in constructive type theory, tech (1991)

by Partial