We build a Kleene realizability semantics for the two-level Minimalist Foundation MF, ideated by Maietti and Sambin in 2005 and completed by Maietti in 2009. Thanks to this semantics we prove that both levels of MF are consistent with the formal Church Thesis CT. Since MF consists of two levels, an intensional one, called mTT, and an extensional one, called emTT, linked by an interpretation, it...

Polymer processing parameters may considerably affect final product characteristic as, if properly chosen, these lead to products with optimal properties. The aim of this work is evaluate the rheological characteristics poly(ethylene terephthalate) (PET) by torque rheometry, as well estimate its incipient degradation rate during in an internal laboratory mixer. In order temperature coefficient ...

Despite the great demand for characterization of interfacial rheology in academic and industrial research, study is still scarce compared to its counterpart bulk rheometry limited only specialized laboratories. One biggest hurdles impeding broad application delicate design high cost rheometers. Here, we propose a new miniature magnetic rod stress rheometer (mini-ISR), which uses pair small perm...

Semi-solid aluminium alloy processing (SSM) has advanced into a more mature process with many applications. The current paper aims to investigate the in-process behaviour of production slurry using an engineering approach estimate properties. A method assess rheological properties semi-solid metal was tested and found capable producing meaningful measurements. foundations this were use Rushton ...

This paper is a contribution to the formal study and analysis of vernacular forms of program derivation. Specifically, in this paper, our vernacular derivations are elementary program transformations over the natural numbers. We provide an intensional semantics for these transformations within the derivations of the Elementary theory of Operations and Numbers, EON, [Bee85]. This semantics is in...

This paper presents a new metamodel based on partially ordered hypersets. The metamodel is minimalist, its only primitives being atoms, potentially infinite hypersets and partial order. The type system is very loose and supports concurrent extensional and intensional definition of types. Every element of the metamodel can be directly referenced, thanks to a powerful automated reification facili...

This paper is a contribution to the theoretical foundations of strategies. We first present a general definition of abstract strategies which is extensional in the sense that a strategy is defined explicitly as a set of derivations of an abstract reduction system. We then move to a more intensional definition supporting the abstract view but more operational in the sense that it describes a mea...