equal
deleted
inserted
replaced
310 title = {Codifying Guarded Definitions with Recursive Schemes}, |
310 title = {Codifying Guarded Definitions with Recursive Schemes}, |
311 crossref = {types94}, |
311 crossref = {types94}, |
312 pages = {39-59} |
312 pages = {39-59} |
313 } |
313 } |
314 |
314 |
|
315 @book{girard89, |
|
316 author = {Jean-Yves Girard}, |
|
317 title = {Proofs and Types}, |
|
318 year = 1989, |
|
319 publisher = CUP, |
|
320 note = {Translated by Yves LaFont and Paul Taylor}} |
|
321 |
315 @Book{mgordon-hol, |
322 @Book{mgordon-hol, |
316 author = {M. J. C. Gordon and T. F. Melham}, |
323 author = {M. J. C. Gordon and T. F. Melham}, |
317 title = {Introduction to {HOL}: A Theorem Proving Environment for |
324 title = {Introduction to {HOL}: A Theorem Proving Environment for |
318 Higher Order Logic}, |
325 Higher Order Logic}, |
319 publisher = CUP, |
326 publisher = CUP, |