Reductions and linear approximations / Réductions et approximations linéaires
👁 2 lượt xem↓ 0 lượt tải qua VietLexVietLex bảo vệ quyền riêng tư của bạn — không tracking, không chia sẻ thông tin tải về cho bên thứ ba.
📑 Trích dẫn đầy đủ (citation)
APA-like:
Tác giả chưa xác định. Reductions and linear approximations / Réductions et approximations linéaires. Thesis, HAL - Pháp.
Việt Nam (chuẩn TCVN 5453:1991):
. Reductions and linear approximations / Réductions et approximations linéaires. Thesis. HAL - Pháp. Truy cập từ .
Tóm tắt
Non communiqué De nombreux outils syntaxiques et sémantiques ont été développés pour l'étude de la dynamique des preuves et des programmes au cours des cinquante dernières années. Nous montrons ici que parmi ces outils – en particulier les types intersections et certaines sémantiques bien connues – de nombreux peuvent être définis au travers d'approximations linéaires de la manière suivante : pour un langage donné, on définit d'abord une notion d'approximation qui associe à un terme du langage u...