Games and Full Abstraction for a Functional Metalanguage with Recurisve Types
Publication :
UK Springer
Published Year :
1998
Fierst Pages :
0
Main Pages :
189
Collation :
189
Notes :
005.13^cM35 , Glossary
Reprint :
False
Contents :
0
Print issue :
0
Subject :
Functional Programming Languages+Game Theory+Recursive Functions+Preliminaries+Rational Categories and recursive Types+FPC and its Models+Full Abstraction
