Author's details  
           
  Author's name :  VALERIE NOVITZK��    
    Technical University of Košice, Valerie.Novitzka@tuke.sk      
           
  Today: 27-06-2022     
      
 
   Articles with the same author  
         
 
1.  DEPENDENT TYPES IN MATHEMATICAL THEORY OF PROGRAMMING.
          Authors: VALERIE NOVITZKÁ, ANITA VERBOVÁ.

2.  COALGEBRAIC APPROACH FOR PROGRAM BEHAVIOR IN COMONADS OVER TOPOSES.
          Authors: VALERIE NOVITZKÁ.

3.  PRINCIPLES OF ACTION SEMANTICS FOR FUNCTIONAL PROGRAMMING LANGUAGES.
          Authors: VALERIE NOVITZKÁ.

4.  NETWORK ROUTING MODELLED BY GAME SEMANTICS.
          Authors: VALERIE NOVITZKÁ, PETER PRAZŇÁK.

 
         
     
         
           
    Back to previous page