Twelf and Delphin Logic and Functional Programming in a Meta-Logical Framework Carsten Schurmann ¨ - Meta-programming - Document - PDFSEARCH.IO

First Page	Meta Content
	Twelf and Delphin Logic and Functional Programming in a Meta-Logical Framework Carsten Schurmann ¨ Add to Reading List Document Date: 2004-04-08 18:53:27 Open Document File Size: 292,32 KB Share Result on Facebook

Twelf and Delphin Logic and Functional Programming in a Meta-Logical Framework Carsten Schurmann ¨Add to Reading List