Svetozar Serafimovski

Publication Activity (10 Years)

Years Active: 1992-1992
Publications (10 Years): 0

Publications

Daniel Fredholm, Svetozar Serafimovski
Partial Inductive Definitions as Type-Systems for lambda-Terms. BIT 32 (1) (1992)