Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: C

Number of items: 1.

C

Castro-Perez, David, Paviotti, Marco, Vollmer, Michael (2024) Mechanising Recursion Schemes with Magic-Free Coq Extraction. In: Mechanising Recursion Schemes with Magic-Free Coq Extraction. . (In press) (doi:10.4230/LIPIcs.CVIT.2016.23) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:105615)

This list was generated on Tue Dec 24 23:20:01 2024 GMT.