Sciweavers

61 search results - page 4 / 13
» tcs 2002
Sort
View
TCS
2002
14 years 9 months ago
Innocent game models of untyped lambda-calculus
Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong
TCS
2002
14 years 9 months ago
Notations for exponentiation
We define a coding of natural numbers
Arnold Beckmann
TCS
2002
14 years 9 months ago
A coalgebraic equational approach to specifying observational structures
A coalgebraic, equational approach to the speci
Corina Cîrstea
TCS
2002
14 years 9 months ago
Words and forbidden factors
Given a
Filippo Mignosi, Antonio Restivo, Marinella Sciort...