scientific article; zbMATH DE number 3521951
From MaRDI portal
Publication:4099614
zbMath0334.02017MaRDI QIDQ4099614
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Normalization by evaluation and algebraic effects ⋮ Semantic analysis of normalisation by evaluation for typed lambda calculus ⋮ The calculus of constructions ⋮ Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach ⋮ Canonicity and normalization for dependent type theory ⋮ The compatibility of the minimalist foundation with homotopy type theory ⋮ Spiritus asper versus lambda: on the nature of functional abstraction ⋮ Type theory based semantic verification for service composition in cloud computing environments ⋮ Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation ⋮ The Functional Interpretation of Direct Computations ⋮ Unnamed Item ⋮ The harmony of identity ⋮ Type theories, toposes and constructive set theory: Predicative aspects of AST ⋮ What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics ⋮ Proof, meaning and paradox: some remarks ⋮ Filter quotients and non-presentable \((\infty,1)\)-toposes ⋮ Prawitz, Proofs, and Meaning ⋮ The semantics of second-order lambda calculus ⋮ A minimalist two-level foundation for constructive mathematics ⋮ ETA-RULES IN MARTIN-LÖF TYPE THEORY ⋮ Natural Deduction for Equality: The Missing Entity ⋮ Realizability and intuitionistic logic
