Matches in SemOpenAlex for { <https://semopenalex.org/work/W3041209359> ?p ?o ?g. }
Showing items 1 to 33 of
33
with 100 items per page.
- W3041209359 abstract "Nous donnons une preuve simple de 3 theoremes de base du lambda calcul pur : le theoreme de Church - Rosser, le theoreme de standardisation et le theoreme des developpements finis. Nous donnons egalement une generalisation - dans le lambda calcul pur - du theoreme des developpements finis qui a comme corollaire immediat le theoreme de normalisation forte dans le systeme de types simples avec intersection ." @default.
- W3041209359 created "2020-07-16" @default.
- W3041209359 creator A5032263146 @default.
- W3041209359 date "1995-01-18" @default.
- W3041209359 modified "2023-09-25" @default.
- W3041209359 title "Une preuve simple de résultats classiques en lambda-calcul" @default.
- W3041209359 hasPublicationYear "1995" @default.
- W3041209359 type Work @default.
- W3041209359 sameAs 3041209359 @default.
- W3041209359 citedByCount "0" @default.
- W3041209359 crossrefType "journal-article" @default.
- W3041209359 hasAuthorship W3041209359A5032263146 @default.
- W3041209359 hasBestOaLocation W30412093591 @default.
- W3041209359 hasConcept C121332964 @default.
- W3041209359 hasConceptScore W3041209359C121332964 @default.
- W3041209359 hasLocation W30412093591 @default.
- W3041209359 hasLocation W30412093592 @default.
- W3041209359 hasOpenAccess W3041209359 @default.
- W3041209359 hasPrimaryLocation W30412093591 @default.
- W3041209359 hasRelatedWork W2271181815 @default.
- W3041209359 hasRelatedWork W2902782467 @default.
- W3041209359 hasRelatedWork W2935759653 @default.
- W3041209359 hasRelatedWork W3105167352 @default.
- W3041209359 hasRelatedWork W3148032049 @default.
- W3041209359 hasRelatedWork W54078636 @default.
- W3041209359 hasRelatedWork W1501425562 @default.
- W3041209359 hasRelatedWork W2298861036 @default.
- W3041209359 hasRelatedWork W2954470139 @default.
- W3041209359 hasRelatedWork W3084825885 @default.
- W3041209359 isParatext "false" @default.
- W3041209359 isRetracted "false" @default.
- W3041209359 magId "3041209359" @default.
- W3041209359 workType "article" @default.