Home / Authors / A. J Kfoury

Books by A. J Kfoury

All books by this author

1 books found
Type reconstruction in finite rank fragments of the second-order [lambda]-calculus (BUCS Tech Report)
Type reconstruction in finite rank fragments of the second-…
By: A. J Kfoury
View Details