Bibtex de la publication

@InCollection{ BaChSo2005.1,
author = {Barral, Freiric and Chemouil, David and Soloviev, Sergei},
title = "{Non-standard reductions and categorical models in typed lambda-calculus}",
booktitle = "{Logitcheskie Issledovaniya (Logical Investigations)}",
publisher = {Nauka},
address = {},
year = {2005},
month = {octobre},
editor = {Karpenko, Alexander S.},
pages = {300--315},
volume = {12},
series = {Logitcheskie Issledovaniya (Logical Investigations)},
language = {anglais},
keywords = {lambda calculus, inductive types, non-standard conversion},
abstract = {We consider the problem of incorporation of new computational rules in lambda calculus with inductive types and recursion. We consider the extensions of standard reduction systems by certain new reductions preserving strong normalization and Church-Rosser property with possible applications to proof assistants and computer algebra systems.}