scientific article; zbMATH DE number 6904771

DOI10.4204/EPTCS.53MaRDI QIDQ3174684zbMATH OpenFDO

Authors

Publication date 17 July 2018

Published in Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1103.3111, http://eptcs.web.cse.unsw.edu.au/content.cgi?TYPES2009

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Types for proofs and programs. International workshop TYPES '96, Aussois, France, December 15--19, 1996. Selected papers
• Types for proofs and programs. International workshop, TYPES 2004, Jouy-en-Josas, France, December 15--18, 2004. Revised selected papers
• scientific article; zbMATH DE number 6325424
• Types for proofs and programs. International conference, TYPES 2008, Torino, Italy, March 26--29, 2008. Revised selected papers
• Types for proofs and programs. International conference, TYPES 2007, Cividale des Friuli, Italy, May 2--5, 2007. Revised selected papers
• Types for proofs and programs. International workshop, TYPES '98. Kloster Irsee, Germany, March 27--31, 1999. Selected papers
• Types for proofs and programs. International workshop, TYPES 2003, Torino, Italy, April 30 -- May 4, 2003. Revised selected papers.
• Types for proofs and programs. International workshop TYPES '95, Torino, Italy, June 5--8, 1995. Selected papers
• scientific article; zbMATH DE number 6513112
• Types for proofs and programs. International workshop, TYPES 2006, Nottingham, UK, April 18--21, 2006. Revised selected papers.

Cited in

(2)

• Types for proofs and programs. International workshop TYPES '96, Aussois, France, December 15--19, 1996. Selected papers
• Types for proofs and programs. 3rd international workshop, TYPES '99, Lökeberg, Sweden, June 12--16, 1999. Selected papers

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3174684)