{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:12Z","timestamp":1761611172076},"publisher-location":"Berlin\/Heidelberg","reference-count":3,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055727X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013095","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:02:07Z","timestamp":1132729327000},"page":"484-486","source":"Crossref","is-referenced-by-count":4,"title":["ProPre A programming language with proofs"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Manoury","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel","family":"Parigot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marianne","family":"Simonot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"52_CR1","first-page":"149","volume":"26","author":"J.L. Krivine","year":"1990","unstructured":"J.L. Krivine, M. Parigot, Programming with proofs, in: SCT 87, Wendish-Rietz, 1987 in: EIK 26 (1990) 149\u2013167.","journal-title":"EIK"},{"key":"52_CR2","doi-asserted-by":"crossref","unstructured":"D. Leivant, Reasonning about functional programs and complexity classes associated with type disciplines, in FOGS, 1983, 460\u2013469.","DOI":"10.1109\/SFCS.1983.50"},{"key":"52_CR3","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0304-3975(92)90042-E","volume":"94","author":"M. Parigot","year":"1992","unstructured":"M. Parigot, Recursive programming with proofs, in: TCS 94 (1992) 335\u2013356.","journal-title":"TCS"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013095","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:29:49Z","timestamp":1586579389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013095"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055727X"],"references-count":3,"URL":"https:\/\/doi.org\/10.1007\/bfb0013095","relation":{},"subject":[]}}