equal
deleted
inserted
replaced
378 author = {Antony Galton}, |
378 author = {Antony Galton}, |
379 title = {Logic for Information Technology}, |
379 title = {Logic for Information Technology}, |
380 publisher = {Wiley}, |
380 publisher = {Wiley}, |
381 year = 1990} |
381 year = 1990} |
382 |
382 |
|
383 @Article{Gentzen:1935, |
|
384 author = {G. Gentzen}, |
|
385 title = {Untersuchungen {\"u}ber das logische {S}chlie{\ss}en}, |
|
386 journal = {Math. Zeitschrift}, |
|
387 year = 1935 |
|
388 } |
|
389 |
383 @InProceedings{gimenez-codifying, |
390 @InProceedings{gimenez-codifying, |
384 author = {Eduardo Gim{\'e}nez}, |
391 author = {Eduardo Gim{\'e}nez}, |
385 title = {Codifying Guarded Definitions with Recursive Schemes}, |
392 title = {Codifying Guarded Definitions with Recursive Schemes}, |
386 crossref = {types94}, |
393 crossref = {types94}, |
387 pages = {39-59} |
394 pages = {39-59} |