scientific article; zbMATH DE number 7030644

DOI10.4230/LIPICS.TYPES.2016.0zbMATH Open1407.68033MaRDI QIDQ4626432FDOQ4626432

Authors:

Publication date: 27 February 2019

Full work available at URL: http://drops.dagstuhl.de/opus/volltexte/oasics-complete/oasics-vol66-iccsw2018-complete.pdf

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 7030646
• scientific article; zbMATH DE number 6865904
• scientific article; zbMATH DE number 7359927
• scientific article; zbMATH DE number 7255740
• scientific article; zbMATH DE number 7189130
• scientific article; zbMATH DE number 7725938
• scientific article; zbMATH DE number 7573873
• scientific article
• scientific article; zbMATH DE number 6325424
• 18th international workshop on types for proofs and programs. Papers from the workshop (TYPES 2011), Bergen, Norway, September 8--11, 2011

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) Logic in computer science (03B70)

Cited In (3)

• Title not available (Why is that?)
• On sets of terms having a given intersection type
• Title not available (Why is that?)

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 Q4626432)