Article

Une Extension de la Theorie des Types en lambda-Calcul

Author:

Patrick SaleAuthors Info & Claims

Proceedings of the Fifth Colloquium on Automata, Languages and Programming

Pages 398 - 410

Published: 17 July 1978 Publication History

Abstract

No abstract available.

Cited By

View all

Ramsay SChitil OKing ADanvy O(2014)Exact Intersection Type Abstractions for Safety Checking of Recursion SchemesProceedings of the 16th International Symposium on Principles and Practice of Declarative Programming10.1145/2643135.2643142(175-186)Online publication date: 8-Sep-2014
https://dl.acm.org/doi/10.1145/2643135.2643142
Ghilezan SIvetić JLescanne PLikavec S(2011)Intersection types for the resource control lambda calculiProceedings of the 8th international conference on Theoretical aspects of computing10.5555/2036978.2036988(116-134)Online publication date: 31-Aug-2011
https://dl.acm.org/doi/10.5555/2036978.2036988
Bakel S(2011)Strict intersection types for the Lambda CalculusACM Computing Surveys10.1145/1922649.192265743:3(1-49)Online publication date: 29-Apr-2011
https://dl.acm.org/doi/10.1145/1922649.1922657
Show More Cited By

Recommendations

Conception par composantes de controleurs d'usines modulaires utilisant la theorie du controle supervise
Nouvelles applications du principe d'inversion dans le calcul analogique experimental

L'article rappelle une methode d'application du principe de l'inversion dans le procede analogique de representation de champs laplaciens sur cuves rheoelectriques permettant d'agrandir la partie la plus interessante du domaine etudie et de faire subir ...
Calcul analogique des structures hyperstatiques

L'expose developpe une analogie electrique permettant l'utilisation d'une table de calcul des reseaux pour le calcul des efforts et des deformations dans les ossatures spatiales hautement hyperstatiques. Les six composantes (trois couples, trois forces) ...

Comments

Information & Contributors

Information

Published In

Proceedings of the Fifth Colloquium on Automata, Languages and Programming

July 1978

508 pages

ISBN:3540088601

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 17 July 1978

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 07 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ramsay SChitil OKing ADanvy O(2014)Exact Intersection Type Abstractions for Safety Checking of Recursion SchemesProceedings of the 16th International Symposium on Principles and Practice of Declarative Programming10.1145/2643135.2643142(175-186)Online publication date: 8-Sep-2014
https://dl.acm.org/doi/10.1145/2643135.2643142
Ghilezan SIvetić JLescanne PLikavec S(2011)Intersection types for the resource control lambda calculiProceedings of the 8th international conference on Theoretical aspects of computing10.5555/2036978.2036988(116-134)Online publication date: 31-Aug-2011
https://dl.acm.org/doi/10.5555/2036978.2036988
Bakel S(2011)Strict intersection types for the Lambda CalculusACM Computing Surveys10.1145/1922649.192265743:3(1-49)Online publication date: 29-Apr-2011
https://dl.acm.org/doi/10.1145/1922649.1922657
Boudol G(2008)On strong normalization and type inference in the intersection type disciplineTheoretical Computer Science10.1016/j.tcs.2008.01.045398:1-3(63-81)Online publication date: 20-May-2008
https://dl.acm.org/doi/10.1016/j.tcs.2008.01.045
Dougherty DGhilezan SLescanne P(2008)Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculusTheoretical Computer Science10.1016/j.tcs.2008.01.022398:1-3(114-128)Online publication date: 20-May-2008
https://dl.acm.org/doi/10.1016/j.tcs.2008.01.022
Santo JGhilezan SIvetić J(2007)Characterising strongly normalising intuitionistic sequent termsProceedings of the 2007 international conference on Types for proofs and programs10.5555/1786134.1786140(85-99)Online publication date: 2-May-2007
https://dl.acm.org/doi/10.5555/1786134.1786140
Boudol GZimmer P(2005)On Type Inference in the Intersection Type DisciplineElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2005.06.016136(23-42)Online publication date: 1-Jul-2005
https://dl.acm.org/doi/10.1016/j.entcs.2005.06.016
Kfoury AWells J(2004)Principality and type inference for intersection types using expansion variablesTheoretical Computer Science10.1016/j.tcs.2003.10.032311:1-3(1-70)Online publication date: 23-Jan-2004
https://dl.acm.org/doi/10.1016/j.tcs.2003.10.032
Boudol G(2003)On strong normalization in the intersection type disciplineProceedings of the 6th international conference on Typed lambda calculi and applications10.5555/1762348.1762353(60-74)Online publication date: 10-Jun-2003
https://dl.acm.org/doi/10.5555/1762348.1762353
Jensen T(2002)Types in program analysisThe essence of computation10.5555/860256.860267(204-222)Online publication date: 1-Jan-2002
https://dl.acm.org/doi/10.5555/860256.860267
Show More Cited By

Abstract

Cited By

Recommendations

Conception par composantes de controleurs d'usines modulaires utilisant la theorie du controle supervise

Nouvelles applications du principe d'inversion dans le calcul analogique experimental

Calcul analogique des structures hyperstatiques

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations