Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi (1995)

by Jacobs
Venue:Mathematical Structures in Computer Science