Tuplix Calculus

Authors	J.A. Bergstra A. Ponse M.B. van der Zwaag
Publication date	2007
Series	PRG technical report
Publisher	Ithaca, NY: ArXiv
Organisations	Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type	Report
Note	SSER13
Published at	http://arxiv.org/abs/0712.3423
Permalink to this page