Skip to main content
×
Home

Volume 13 - Issue 2 - March 2003

Special issue on Logical frameworks and metalanguages

Special Issue on Logical frameworks and metalanguages