Search Results - "Asperti, A."

A compact kernel for the calculus of inductive constructions by Asperti, A., Ricciotti, W., Sacerdoti Coen, C., Tassi, E.

“…The paper describes the new kernel for the Calculus of Inductive Constructions (CIC) implemented inside the Matita Interactive Theorem Prover. The design of…”
Get full text

Light affine logic by Asperti, A.

“…Much effort has been recently devoted to the study of polytime formal (and especially logical) systems. The purpose of such systems is manyfold. On the…”
Get full text

A survey on Variational Autoencoders from a GreenAI perspective by Asperti, A, Evangelista, D, Piccolomini, E. Loli

“…Variational AutoEncoders (VAEs) are powerful generative models that merge elements from statistics and information theory with the flexibility offered by deep…”
Get full text

The Gauss–Kronecker curvature of minimal hypersurfaces in four-dimensional space forms by Asperti, A. C., Chaves, R. M. B., Sousa, L. A. M.

“…Let be a four-dimensional space form of constant curvature c . In this paper we show that the infimum of the absolute value of the Gauss–Kronecker curvature of…”
Get full text

Ruled Weingarten hypersurfaces in the Lorentz–Minkowski space and in de Sitter space by Asperti, A.C., Chaves, R.M.B., Valério, B.C.

“…In this work we obtain a local classification of connected ruled Weingarten spacelike hypersurfaces M n , n ≥ 3 in the Lorentz–Minkowski space L n + 1 and in…”
Get full text

Mathematical Knowledge Management in HELM by Asperti, Andrea, Padovani, Luca, Sacerdoti Coen, Claudio, Guidi, Ferruccio, Schena, Irene

“…The paper describes the general philosophy and the main architectural and technological solutions adopted in the HELM Project for the management of large…”
Get full text

(Optimal) duplication is not elementary recursive by Asperti, Andrea, Coppola, Paolo, Martini, Simone

“…In 1998 Asperti and Mairson proved that the cost of reducing a lambda-term using an optimal lambda-reducer (a la Lévy) cannot be bound by any elementary…”
Get full text

Parallel Beta Reduction Is Not Elementary Recursive by Asperti, Andrea, Mairson, Harry G.

“…We analyze the inherent complexity of implementing Lévy's notion of optimal evaluation for the λ-calculus, where similar redexes are contracted in one step via…”
Get full text

Paths, computations and labels in the λ-calculus by Asperti, Andrea, Laneve, Cosimo

“…We provide a new characterization of Lévy's redex-families in the λ-calculus (Lévy, 1978) as suitable paths in the initial term of the derivation. The idea is…”
Get full text

A sufficient condition for completability of partial combinatory algebras by Asperti, Andrea, Ciabattoni, Agata

“…A Partial Combinatory Algebra is completable if it can be extended to a total one. In [1] it is asked (question 11, posed by D. Scott, H. Barendregt, and G…”
Get full text

Björling problem for spacelike, zero mean curvature surfaces in L 4 by Asperti, Antonio C., Vilhena, José Antonio M.

“…In this paper, we extend and solve the Björling-type problem for spacelike, zero mean curvature surfaces in the Lorentz–Minkowski four-dimensional space L 4 …”
Get full text

Isolation of the major proteolytic enzyme from the venom of the snake Bothrops moojeni (caissaca) by Assakura, M T, Reichl, A P, Asperti, M C, Mandelbaum, F R

“…Moojeni protease A was purified from the venom of Bothrops moojeni by chromatography on Sephadex G-100, DEAE Sephadex A-50 and rechromatography on Sephadex…”
Get more information

Cohomogeneity One Hypersurfaces of the Hyperbolic Space by Asperti, Antonio Carlos, Caputi, Armando

“…In this paper we extend to the hyperbolic space results firstly obtained in Podesta and Spiro (Ann. Global Anal. Geom. 13(2) (1995), 169-184) for compact…”
Get full text

Paths in the lambda-calculus. Three years of communications without understanding by Asperti, A., Danos, V., Laneve, C., Regnier, L.

“…Since the rebirth of /spl lambda/-calculus in the late 1960s, three major theoretical investigations of /spl beta/-reduction have been undertaken: (1) Levy's…”
Get full text

Generic minimal surfaces by Asperti, Antonio Carlos

Get full text