Boisvert Bertrand

Publications in Math-Net.Ru

1. Applications of typed $\lambda$-terms to categorical attributed graph transformations
   
   Tr. SPIIRAN, 23 (2012),  296–323