Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Home
Index
Authors
J. Springintveld
Volume
Title
83
Lower and upper bounds for reductions of types in λω and λP
J. Springintveld
