**Barbanera-Berardi:TLCA93 (In proceedings)
** |

Author(s) | Franco Barbanera and Stefano Berardi |

Title | « *Extracting Constructive Content from Classical Logic via Control-like Reductions »* |

In | Proceedings of first international Conference on Typed Lambda Calculus and Applications TLCA'93 |

Series | Lecture Notes in Computer Science |

Volume | 664 |

Page(s) | 45-59 |

Year | 1993 |

Publisher | Springer-Verlag |

```
@inproceedings{Barbanera-Berardi:TLCA93,
volume = {664},
author = {Franco Barbanera and Stefano Berardi},
series = {Lecture Notes in Computer Science},
booktitle = {Proceedings of first international Conference on Typed Lambda
Calculus and Applications TLCA'93},
title = {Extracting Constructive Content from Classical Logic via Control-like
Reductions},
publisher = {Springer-Verlag},
year = {1993},
pages = {45-59},
}
```

This document was generated by bib2html 3.3.

(Modified by Luca Paolini, under the GNU General Public License)