Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Kryshtapovich, Viktor Sergeevich
Statistics Math-Net.Ru
Total publications: 1
Scientific articles: 1

Number of views:
This page:25
Abstract pages:77
Full texts:25
References:15

https://www.mathnet.ru/eng/person182488
List of publications on Google Scholar
List of publications on ZentralBlatt
https://orcid.org/0000-0002-3941-6201

Publications in Math-Net.Ru Citations
2021
1. V. S. Kryshtapovich, “Localized Lama gradual typing”, Proceedings of ISP RAS, 33:3 (2021),  61–76  mathnet

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024