Index of /jucs_23_1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]F.4.html2021-09-19 07:42 1.4K 
[TXT]a_general_method_for.html2021-09-16 12:28 19K 
[DIR]a_general_method_for/2021-09-17 05:07 -  
[TXT]a_logical_reconstruction_of.html2021-09-16 12:28 19K 
[DIR]a_logical_reconstruction_of/2021-09-17 05:05 -  
[TXT]abstract_data_types_without.html2021-09-16 12:28 19K 
[DIR]abstract_data_types_without/2021-09-17 05:05 -  
[TXT]first_class_functions_in.html2021-09-16 12:28 20K 
[DIR]first_class_functions_in/2021-09-17 05:08 -  
[TXT]functional_programming_past_present.html2021-09-16 12:28 14K 
[DIR]functional_programming_past_present/2021-09-19 07:42 -  
[TXT]higher_inductive_types_in.html2021-09-16 12:28 20K 
[DIR]higher_inductive_types_in/2021-09-17 05:07 -  
[TXT]trees_that_grow.html2021-09-16 12:28 20K 
[DIR]trees_that_grow/2021-09-17 05:06 -  

Apache/2.4.29 (Ubuntu) Server at www.jucs.org Port 443