Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by FERRUCCIO GUIDI
Implementing Type Theory in Higher Order Constraint Logic Programming
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications