Highly Influential Citations50
Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications (all current information on this profile has been aggregated automatically from publisher and metadata sources).
Abstract Petri nets enable a discrete event system of any kind whatsoever to be modeled. They present two interesting characteristics. Firstly they make it possible to model and visualize behaviors… Continue Reading
Petrinets (PNs) are widely used to model discrete event dynamic systems(computer systems, manufacturing systems, communication systems,etc). Continuous Petri nets (in which the markings are real… Continue Reading
We present quantitative analysis of various (syntactic and behavioral) properties of random $\lambda$-terms. Our main results are that asymptotically all the terms are strongly normalizing and that… Continue Reading
Autonomous and timed continuous Petri nets are defined. The autonomous model is presented as a limit case of autonomous discrete Petri nets and thus preserves most of the properties of classical… Continue Reading
Barium sulphate precipitation, widely used to validate micromixing models, requires the knowledge of nucleation and crystal growth kinetics under non stoichiometric conditions, which is generally the… Continue Reading
Spin-resolved photoemission spectroscopy in normal emission has been performed with Pt(110). The photoelectrons were emitted by off-normally incident linearly polarized synchrotron radiation from… Continue Reading
The symmetric @[email protected] is the @[email protected] introduced by Parigot in which the reduction rule @m^', which is the symmetric of @m, is added. We give examples explaining why the… Continue Reading
We give an elementary and purely arithmetical proof of the strong normalization of Parigot's simply typed $\lambda\mu$-calculus.
Abstract We give a λ term of type Nat, Nat → Nat in the system F that computes the minimum of 2 Church numerals in time O(inf.log(inf)). This refutes a conjecture of the “λ folklore”.
Utilizing a combination of the in situ magneto-optical Kerr effect and scanning tunneling microscopy and spectroscopy measurements, we show that the (100) surface of the B2 bulk paramagnetic CoAl is… Continue Reading