On Monadic Parametricity of Second-Order Functionals

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-37075-5_15
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Linear Delay Enumeration and Monadic Second-Order Logic

Discrete Applied Mathematics
CombinatoricsApplied MathematicsDiscrete Mathematics
2009English

Ordering Constraints Over Feature Trees Expressed in Second-Order Monadic Logic

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2000English

On Decidability of Monadic Logic of Order Over the Naturals Extended by Monadic Predicates

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2007English

Minimization of Vectors of Curvilinear Functionals on Second-Order Jet Bundle: Dual Program Theory

Abstract and Applied Analysis
Applied MathematicsAnalysis
2012English

Application of the Second-Order Comprehensive Adjoint Sensitivity Analysis Methodology to Compute First- And Second-Order Sensitivities of Flux Functionals in a Multiplying System With Source

Nuclear Science and Engineering
EngineeringNuclear Energy
2019English

Higher-Order Processes, Functions, and Sessions: A Monadic Integration

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

On Second Order Differential Inequalities

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1966English

Second Order Bayes Prediction of Functionals of Exponential Dispersion Distributions and an Application to the Prediction of the Tails

ASTIN Bulletin
AccountingEconomicsEconometricsFinance
2004English

Reply to “Comment on “Nonuniqueness of Algebraic First-Order Density-Matrix Functionals” ”

Physical Review A
OpticsAtomicMolecular Physics,
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy