Labyrinthe < Lambda calcul < Langage

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f

List of bibliographic references

Number of relevant bibliographic references: 23.
[0-20] [0 - 20][0 - 23][20-22][20-40]

Ident.	Authors (with country if any)	Title
000285 (2008)	Marco Gaboardi [Italie] ; Simona Ronchi Della Rocca [Italie] ; Jean-Yves Marion [France]	A Logical Account of PSPACE
000363 (2006)	Frédéric Blanqui ; Claude Kirchner ; Colin Riba	On the confluence of λ-calculus with conditional rewriting
000449 (2005)	Clara Bertolissi [France]	The graph rewriting calculus : Confluence and expressiveness
000476 (2005)	Francois Lamarche [France] ; Lutz Strassburger [Allemagne]	Naming proofs in classical propositional logic
000574 (2004)	Horatiu Cirstea [France] ; Luigi Liquori [France] ; Benjamin Wack [France]	Rewriting calculus with fixpoints: Untyped and first-order systems
000599 (2004)	Philippe De Groote [France] ; Sylvain Salvati [France]	Higher-order matching in the linear λ-calculus with pairing
000673 (2003)	René David [France] ; Bruno Guillaume [France]	Strong normalization of the typed λws-calculus
000679 (2003)	Gilles Barthe [États-Unis, France] ; Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori	Pure patterns Type systems
000808 (2002)	Germain Faure [France] ; Claude Kirchner [France]	Exceptions in the rewriting calculus
000877 (2001)	Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]	The Rho cube
000880 (2001)	Philippe De Groote [France]	Strong normalization of classical natural deduction with disjunction
000976 (2000)	M. W. Bunder [Australie]	Proof finding algorithms for implicational logics
000986 (2000)	E. Ritter [Royaume-Uni] ; D. Pym [Royaume-Uni] ; L. Wallen [Royaume-Uni]	On the intuitionistic force of classical search
000995 (2000)	G. Dowek [France] ; T. Hardin [France] ; C. Kirchner [France]	Higher order unification via explicit substitutions
000A69 (1999)	P. De Groote [France]	On the strong normalisation of natural deduction with permutation-conversions
000A82 (1999)	G. Dowek [France] ; T. Hardin [France] ; C. Kirchner [France]	Hol-λσ : An intentional first-order expression of higher-order logic
000B10 (1999)	C. Piliere [France]	A confluence result for a typed λ-calculus of exception handling with fixed-point
000C13 (1997)	S. Malecki [France]	Proofs in system Fω can be done in system Fω 1
000C15 (1997)	C. Retore [France]	Pomset logic : A non-commutative extension of classical linear logic
000C25 (1997)	C. Kirchner [France] ; C. Ringeissen [France]	Higher-order equational unification via explicit substitutions
000C88 (1996)	Z.-E.-A. Benaissa [France] ; Pierre Lescanne [France] ; K. H. Rose [Danemark]	Modeling sharing and recursion for weak reduction strategies using explicit substitution

---

List of associated Author.i

Nombre de documents	Descripteur
4	Claude Kirchner
3	C. Kirchner
3	Horatiu Cirstea
3	Luigi Liquori
2	G. Dowek
2	Philippe De Groote
2	T. Hardin
1	Benjamin Wack
1	Bruno Guillaume
1	C. Hintermeier
1	C. Piliere
1	C. Retore
1	C. Ringeissen
1	Clara Bertolissi
1	Colin Riba
1	D. Pym
1	E. Ritter
1	Francois Lamarche
1	Frédéric Blanqui
1	Germain Faure
1	Gilles Barthe
1	H. Kirchner
1	Jean-Yves Marion
1	K. H. Rose
1	L. Cardelli
1	L. Wallen
1	Lutz Strassburger
1	M. W. Bunder
1	Marco Gaboardi
1	P. D. Mosses
1	P. De Groote
1	Pierre Lescanne
1	R. M. Amadio
1	René David
1	S. Malecki
1	Simona Ronchi Della Rocca
1	Sylvain Salvati
1	Z.-E.-A. Benaissa

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Lambda calcul" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Lambda calcul" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Lambda calcul
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022