A Limiting First Order Realizability Interpretation

Cached

Download Links

by Masahiro Nakata , Susumu Hayashi
Citations:5 - 0 self

Document Versions

A Limiting First Order Realizability Interpretation –Masahiro Nakata, Susumu Hayashi