Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Verhoef, C.
Volume
Title
140
A Conservative Look at Term Deduction Systems with Variable Binding
Fokkink, W.J.
|
Verhoef, C.
Online