TYPE INFERENCE FOR SET THEORY more

by Raymond Turner

Theoretical Computer Science archive
Volume 266 Issue 1-2, 09/06/2001
Elsevier Science Publishers Ltd. Essex, UK
table of contents doi>10.1016/S0304-3975(01)00123-2

Weak set theories are employed for set-theoretic specification. We develop and explore type inference systems for such set theories.

11 views

Computer Science, Computability Theory, and Theoretical Computer Science
View on portal.acm.org
x

Log In

or reset password

Reset Password

Enter the email address you signed up with, and we'll send a reset password email to that address

Academia © 2012