#abella — Public Fediverse posts

Exemple de mutualisme clàssic: l'abella s'alimenta del poŀlen i nèctar i alhora poŀlinitza. Entomofília o entomogàmia, concretament melitofília.

#pocpaper #tintachina #ploma #ilustracionnaturalista #natureillustration #natureillustrationart #catalunya_natura #catalunya_natura #catalunyanatura #pinturaanimal #faunaillustration #simbiosi #mutualisme #abella #bee #simbiosis #mutualism #mastoart #mastoartist #creativetoots #penandinkart #inkart #inkdrawing #entomology #entomologie #entomologia

#vespa #nespra #praga #abella #froita #natureza #nature #AGA #Xunta #Galiza #incendios #lumes

https://www.galiciaconfidencial.com/noticia/307399-velutina-faise-forte-lume-praga-aproveita-incendios-deste-veran-seguir-conquistando-galicia?utm_source=dlvr.it&utm_medium=bluesky

Readings shared September 23, 2025. https://jaalonso.github.io/vestigium/posts/2025/09/24-readings_shared_09-23-25 #Abella #Agda #CategoryTheory #CoqProver #FunctionalProgramming #HOL4 #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Naproche #Rocq #RustLang

Barendregt’s theory of the λ-calculus, refreshed and formalized. ~ Adrienne Lancelot, Beniamino Accattoli, and Maxime Vemclefs. https://drops.dagstuhl.de/storage/00lipics/lipics-vol352-itp2025/LIPIcs.ITP.2025.13/LIPIcs.ITP.2025.13.pdf #ITP #Abella

Readings shared August 17, 2025. https://jaalonso.github.io/vestigium/posts/2025/08/18-readings_shared_08-17-25 #Abella #Agda #FunctionalProgramming #Haskell #ITP #LeanProver #Math

Type soundness of functional languages with subtyping in Lang-n-Prove. ~ Matteo Cimini, Joan Montas. https://www.sciencedirect.com/science/article/abs/pii/S0167642325001194 #ITP #Abella

Lecturas compartidas el 13 de julio de 2024. https://jaalonso.github.io/vestigium/posts/2024/07/14-lecturas_compartidas_el_13-jul-24 #ITP #Lean4 #Coq #Abella #Agda #Mizar #Logic #Math #IMO #FunctionalProgramming #Haskell

Binding contexts as partitionable multisets in Abella. ~ Terrance Gray, Gopalan Nadathur. https://arxiv.org/abs/2407.06625 #ITP #Abella

Lecturas compartidas el 10 de julio de 2024. https://jaalonso.github.io/vestigium/posts/2024/07/11-lecturas_compartidas_el_10-jul-24 #ITP #Lean4 #IsabelleHOL #Coq #Abella #Beluga #Agda #Haskell #Logic #Math

Binding contexts as partitionable multisets in Abella. ~ Terrance Gray, Gopalan Nadathur. https://arxiv.org/abs/2407.06625 #ITP #Abella