Substitution And NotThomas Fernique
List of bibliographic references
Number of relevant bibliographic references: 6.Ident. | Authors (with country if any) | Title |
---|---|---|
000963 | A. Felty [États-Unis] | The calculus of constructions as a framework for proof search with set variable instantiation |
000986 | E. Ritter [Royaume-Uni] ; D. Pym [Royaume-Uni] ; L. Wallen [Royaume-Uni] | On the intuitionistic force of classical search |
000995 | G. Dowek [France] ; T. Hardin [France] ; C. Kirchner [France] | Higher order unification via explicit substitutions |
000A12 | R. Mcdowell [États-Unis] ; D. Miller [États-Unis] | Cut-elimination for a logic with definitions and induction |
000A34 | D. Leivant [États-Unis] ; J.-Y. Marion [France] | A characterization of alternating log time by ramified recurrence |
000C88 | Z.-E.-A. Benaissa [France] ; Pierre Lescanne [France] ; K. H. Rose [Danemark] | Modeling sharing and recursion for weak reduction strategies using explicit substitution |
This area was generated with Dilib version V0.6.33. |