Typed lambda calculi and applications. 6th international conference, TLCA 2003, Valencia, Spain, June 10--12, 2003. Proceedings (Q1418347)

From MaRDI portal





scientific article; zbMATH DE number 2029960
Language Label Description Also known as
English
Typed lambda calculi and applications. 6th international conference, TLCA 2003, Valencia, Spain, June 10--12, 2003. Proceedings
scientific article; zbMATH DE number 2029960

    Statements

    Typed lambda calculi and applications. 6th international conference, TLCA 2003, Valencia, Spain, June 10--12, 2003. Proceedings (English)
    0 references
    20 January 2004
    0 references
    Typed lambda calculi
    0 references
    TLCA 2003
    0 references
    Valencia (Spain)
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references